Keyphrases
- expressive power
- modal logic
- database systems
- concurrency control
- inference rules
- concurrent execution
- fine grained
- transaction processing
- propositional calculus
- proof theory
- conditional independence
- databases
- default reasoning
- independence assumption
- nonmonotonic logics
- nested transactions
- object oriented languages
- higher order
- data model
- propositional dynamic logic