On Querying Temporal Deductive Databases.
Laks V. S. LakshmananDaniel A. NonenPublished in: Formal Methods in Databases and Software Engineering (1992)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- semantic query optimization
- declarative language
- closed world assumption
- integrity checking
- query language
- disjunctive deductive databases
- spatio temporal databases
- declarative semantics
- constraint checking
- model theoretic
- temporal information
- logical implication
- databases
- query processing
- temporal reasoning
- stable models
- hypothetical reasoning
- datalog programs
- nonmonotonic reasoning
- object oriented