Implementing Deductive Databases by Linear Programming.
Colin BellAnil NerodeRaymond T. NgV. S. SubrahmanianPublished in: PODS (1992)
Keyphrases
- deductive databases
- linear programming
- integrity constraints
- logic programming
- fixpoint
- semantic query optimization
- query evaluation
- disjunctive deductive databases
- integrity checking
- declarative language
- closed world assumption
- optimal solution
- declarative semantics
- model theoretic
- np hard
- constraint checking
- database
- dynamic programming
- stable models
- datalog programs
- conjunctive queries
- objective function
- fixpoint semantics