A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.

Andreas Behrend

Published in: ADBIS (2007)

Keyphrases

fixpoint
deductive databases
disjunctive deductive databases
datalog programs
finite state machines
logic programs
integrity constraints
query evaluation
stable models
logic programming
model theoretic
fixpoint semantics
horizontal fragmentation
machine learning
answer sets
data model
data analysis
database