Temporal Deductive Databases and Infinite Objects.
Jan ChomickiTomasz ImielinskiPublished in: PODS (1988)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- query evaluation
- disjunctive deductive databases
- object identity
- semantic query optimization
- integrity checking
- temporal information
- declarative language
- data objects
- declarative semantics
- closed world assumption
- general purpose
- moving objects
- object oriented
- inductive logic programming
- data model
- relational databases
- datalog programs
- model theoretic