Keyphrases
- correctness criterion
- linear logic
- concurrency control
- transaction management
- logic programming
- integrity constraints
- data replication
- modal logic
- correctness criteria
- concurrency control protocols
- replicated databases
- data mining
- fixed point
- multidatabase systems
- logical framework
- intelligent agents
- management system
- query processing
- database systems