Time and Incompleteness in a Deductive Database.
M. Howard WilliamsQuinzheng KongPublished in: IPMU (1990)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- semantic query optimization
- fixpoint
- query evaluation
- disjunctive deductive databases
- event calculus
- incomplete information
- closed world assumption
- integrity checking
- declarative semantics
- general logic programs
- databases
- logic programs
- general purpose
- artificial intelligence