Keyphrases
- modal logic
- schema integration
- integrity constraints
- database integration
- temporal logic
- object oriented databases
- heterogeneous databases
- multidatabase systems
- nonmonotonic logics
- dynamic logic
- epistemic logic
- conditional logic
- schema matching
- situation calculus
- default logic
- explanation based generalization
- prime implicates
- data model
- database
- description logics
- database systems