Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases.

G. Barbara Demo

Published in: ICDE (1987)

Keyphrases

databases
fixpoint
recursive programs
logic programs
datalog programs
logic programming
multi valued
database
horn clauses
relational databases
data model
deductive databases
model theoretic
artificial intelligence
prior knowledge
stable models
knowledge discovery
answer sets
machine learning