Timetabling through a Deductive Database: A Case Study.
Angelo MonfroglioPublished in: Data Knowl. Eng. (1988)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- semantic query optimization
- fixpoint
- disjunctive deductive databases
- query evaluation
- update propagation
- constraint programming
- event calculus
- integrity checking
- declarative semantics
- timetabling problem
- closed world assumption
- data mining
- general logic programs
- semantics of logic programs
- stable models
- logic programs
- general purpose
- knowledge representation