Automatic Verification of Transactions on an Object-Oriented Database.
David SpeltHerman BalstersPublished in: DBPL (1997)
Keyphrases
- object oriented databases
- concurrency control
- database
- object oriented languages
- transaction processing
- distributed database systems
- sequential patterns
- search engine
- transaction management
- real time database systems
- transactional data
- transaction databases
- neural network
- distributed databases
- complex objects
- object oriented
- knowledge base
- machine learning
- transaction model
- transaction data
- concurrency control protocols