CSP with Record Data Type for Supporting Transaction Systems Specification.
Sylvanus A. EhikioyaKen BarkerPublished in: ADBIS (1997)
Keyphrases
- data types
- transaction systems
- concurrency control and recovery
- abstract data types
- database management systems
- database systems
- data structure
- data model
- constraint satisfaction problems
- nested transactions
- transaction processing
- concurrency control
- database
- database server
- data mining
- general purpose
- high level
- data mining algorithms
- data storage
- relational database systems
- data management
- programming language
- management system
- database applications
- main memory
- complex objects
- index structure
- object oriented databases
- preprocessing