Keyphrases
- multidatabase systems
- query optimization
- transaction management
- multiple autonomous
- multidatabase environment
- concurrency control
- database systems
- distributed database systems
- automated reasoning
- logic programming
- predicate logic
- modal logic
- digital circuits
- transaction model
- classical logic
- database management systems
- computational properties
- cost estimation
- heterogeneous database systems
- xml data
- defeasible logic
- epistemic logic
- query processing