The furniture company: deductive databases and the scheduling problem.
Alexander Perez-PonsPublished in: Int. J. Inf. Manag. (2003)
Keyphrases
- deductive databases
- scheduling problem
- integrity constraints
- single machine
- flowshop
- fixpoint
- query evaluation
- disjunctive deductive databases
- logic programming
- np hard
- semantic query optimization
- tabu search
- integrity checking
- declarative language
- declarative semantics
- closed world assumption
- model theoretic
- constraint checking
- knowledge representation
- artificial intelligence
- hypothetical reasoning
- databases