Meta-Programming for Reordering Literals in Deductive Databases.
Jesper Larsson TräffSteven David PrestwichPublished in: META (1992)
Keyphrases
- deductive databases
- logic programming
- integrity constraints
- programming language
- fixpoint
- integrity checking
- semantic query optimization
- query evaluation
- model theoretic
- disjunctive deductive databases
- answer sets
- logic programs
- closed world assumption
- constraint checking
- existentially quantified
- declarative language
- logical implication
- hypothetical reasoning
- datalog programs
- normal logic programs
- machine learning
- inductive logic programming
- truth values
- stable models
- answer set programming
- functional dependencies
- general logic programs
- query language