Skip to Main Content
Foundations of Deductive Databases and Logic Programming
book

Foundations of Deductive Databases and Logic Programming

by Jack Minker
May 2014
Intermediate to advanced content levelIntermediate to advanced
752 pages
35h 3m
English
Morgan Kaufmann
Content preview from Foundations of Deductive Databases and Logic Programming
428
Henschen
and
Park
compiled information in a non-recursive IDDB. Further, we have indicated
how simple recursive axioms might be handled in a recursive IDDB. Finally,
we have shown how conjunction and disjunction can be handled.
Work beyond that described in this paper is needed to implement the actual
compilation as follows:
1.
Develop the actual algorithms to generate just the right resolvents in an
effective way incorporating NH-reduction and NH-inheritance rules.
2.
Develop a more general methodology to handle more complex recursive
axioms in an IDDB.
3.
Develop the evaluation theorems to handle more complex queries con-
taining negativ ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Concepts and Semantics of Programming Languages 1

Concepts and Semantics of Programming Languages 1

Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Handbook of Constraint Programming

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

Publisher Resources

ISBN: 9781483221120