Verifying a Distributed Database Lookup Manager Written in Erlang.
Thomas ArtsMads DamPublished in: World Congress on Formal Methods (1999)
Keyphrases
- distributed databases
- distributed environment
- replicated data
- distributed database systems
- concurrency control
- data warehousing
- high availability
- concurrency control protocols
- transaction processing
- management system
- data replication
- locking protocol
- database
- artificial intelligence
- database management systems
- decision makers
- computational intelligence