Specification of Concurrency Control in Persistent Programming Languages.
Nicoletta De FrancescoGigliola VagliniLuigi V. ManciniA. Pereira PazPublished in: POS (1992)
Keyphrases
- programming language
- concurrency control
- specification language
- high level
- distributed databases
- database management systems
- fine grained
- database systems
- distributed database systems
- general purpose
- nested transactions
- strongly typed
- b tree
- object oriented
- software engineering
- logic programming
- programming environment
- transaction management
- transaction processing
- domain specific languages
- data mining
- database applications
- relational databases
- formal specification
- data storage
- description language
- database technology
- data management
- database