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
456
Bancilhon
and
Ramakrishnan
then evaluate q against the date base
else
begin
select the relevant facts for q in the base predicates;
put them in relevant;
while new tuples are generated do
begin
for each rule do (this can be done in parallel)
begin
instantiate the right predicates with the relevant facts and produce
tuples for the left predicate;
add these tuples to the set of relevant facts;
initialize the set of useful facts to the set of relevant facts;
for each literal on the right do (this can be done in parallel)
begin
for each matching relevant fact do
begin
plug the fact in the rule and propagate the constants;
this generates a ne ...
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