Operational Specification with Joint Actions: Serializable Databases.
Reino Kurki-SuonioPublished in: Distributed Comput. (1992)
Keyphrases
- databases
- concurrent execution
- joint action
- database
- relational databases
- desirable properties
- data model
- knowledge discovery
- action language
- data sources
- video sequences
- temporal ordering
- state transition
- decision theoretic
- concurrency control
- database applications
- situation calculus
- formal specification
- database systems
- multidatabase systems
- data integration
- decision making
- data management