Implementing Deductive Databases by Mixed Integer Programming.
Colin BellAnil NerodeRaymond T. NgV. S. SubrahmanianPublished in: ACM Trans. Database Syst. (1996)
Keyphrases
- deductive databases
- mixed integer programming
- integrity constraints
- column generation
- logic programming
- query evaluation
- disjunctive deductive databases
- fixpoint
- lot sizing
- production planning
- semantic query optimization
- mixed integer
- lagrangian relaxation
- closed world assumption
- query processing
- knapsack problem
- np complete
- logic programs
- data model