Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking.
Carme MartínJaume SistacPublished in: Logic in Databases (1996)
Keyphrases
- constraint checking
- deductive databases
- integrity constraints
- declarative semantics
- active rules
- integrity checking
- logic programming
- semantic query optimization
- disjunctive deductive databases
- fixpoint semantics
- fixpoint
- query evaluation
- model theoretic
- normal logic programs
- data mining
- closed world assumption
- distributed databases
- database
- datalog programs
- intelligent agents
- logic programs
- data warehouse
- database transactions
- machine learning