Automating Proofs of Integrity Constraints in Situation Calculus.
Leopoldo E. BertossiJavier PintoPablo SáezDeepak KapurMahadevan SubramaniamPublished in: ISMIS (1996)
Keyphrases
- integrity constraints
- situation calculus
- action theories
- deductive databases
- initial state
- database integrity
- functional dependencies
- integrity checking
- modal logic
- query answering
- conjunctive queries
- reasoning tasks
- concurrent actions
- reasoning about actions
- theorem proving
- decision procedures
- theorem prover
- logical language
- database schema
- first order logic
- xml documents
- fluent calculus
- database systems
- partial information
- web services
- null values
- consistent query answering