Scan barcode
156 pages • missing pub info (editions)
ISBN/UID: 9783540537540
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 March 1991
Description
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,...
Community Reviews
Content Warnings
156 pages • missing pub info (editions)
ISBN/UID: 9783540537540
Format: Paperback
Language: English
Publisher: Springer
Publication date: 13 March 1991
Description
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,...
Community Reviews
Content Warnings