On the Formal Specification of Protocols in Distributed Databases.
Günter KarjothPublished in: ICCC (1986)
Keyphrases
- distributed databases
- formal specification
- concurrency control protocols
- model checking
- commit protocols
- protocol specification
- specification languages
- object oriented design
- distributed environment
- process algebra
- concurrency control algorithms
- data warehousing
- formal methods
- concurrency control
- distributed database systems
- replicated data
- reverse engineering
- transaction processing
- software components
- concurrent systems
- data replication
- decision makers
- information systems
- information technology
- communication protocols
- distributed systems
- databases