Automatic generation of simplified weakest preconditions for integrity constraint verification
Ahmed Ait-BouziadIrène GuessarianLaurent VieillePublished in: CoRR (2006)
Keyphrases
- integrity constraints
- deductive databases
- integrity checking
- functional dependencies
- active rules
- explanation based learning
- model checking
- automatically generate
- constraint checking
- semantic query optimization
- inclusion dependencies
- signature verification
- null values
- inference rules
- query evaluation
- database transactions
- active databases
- software engineering
- xml documents