Selective Refutation of Integrity Constraints in Deductive Databases.
Patrizia AsirelliC. BilliPaola InverardiPublished in: MFDBS (1989)
Keyphrases
- deductive databases
- integrity constraints
- semantic query optimization
- integrity checking
- fixpoint
- constraint checking
- query answering
- functional dependencies
- theorem proving
- active rules
- theorem prover
- database schema
- database transactions
- conjunctive queries
- model theoretic
- xml documents
- federated databases
- databases
- high level
- knowledge base
- consistent query answering
- artificial intelligence