Mechanizing Proofs of Integrity Constraints in the Situation Calculus.
Emmanuel KounalisPascal UrsoPublished in: IEA/AIE (1999)
Keyphrases
- integrity constraints
- situation calculus
- integrity checking
- action theories
- deductive databases
- conjunctive queries
- modal logic
- functional dependencies
- query answering
- theorem proving
- initial state
- decision procedures
- reasoning about actions
- logical language
- inclusion dependencies
- database integrity
- reasoning tasks
- xml documents
- concurrent actions
- fluent calculus
- theorem prover
- sensing actions
- consistent query answering
- null values
- databases