Meta-level control for deductive database systems /

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a d...

Full description

Bibliographic Details

Main Author:	Schmidt, Helmut, 1962-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1991.
Series:	Lecture notes in computer science ; 479.
Subjects:	Database management. Deductive databases. Electronic books.
Online Access:	Connect to the full text of this electronic book