ASM Specification of Database Systems.
Andreas PrinzBernhard ThalheimPublished in: Abstract State Machines (2003)
Keyphrases
- database systems
- active shape model
- database
- data model
- query optimization
- concurrency control
- specification language
- high level
- formal specification
- data management
- data types
- databases
- relational database systems
- database management systems
- database server
- query processing
- transaction management
- database design
- shape model
- database technology
- distributed database systems
- multi view
- object detection
- case study
- reactive systems
- multilevel secure