Practical Reformulation of Deductive Databases.
Michael R. GeneserethAbhijeet MohapatraPublished in: AIKE (2019)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- semantic query optimization
- declarative language
- disjunctive deductive databases
- closed world assumption
- constraint checking
- declarative semantics
- logic programs
- integrity checking
- multiple inheritance
- logical implication
- theorem proving
- fixpoint semantics
- conjunctive queries
- artificial intelligence
- semantics of logic programs