Temporal Deductive Databases: Data Manipulation and Consistency.
Beat WüthrichPublished in: FMLDO (1990)
Keyphrases
- deductive databases
- data manipulation
- data processing
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- relational algebra
- semantic query optimization
- disjunctive deductive databases
- integrity checking
- closed world assumption
- statistical databases
- database programming
- query language
- query processing
- relational model
- temporal reasoning
- data management
- data model
- machine learning