Transaction Restarts in Prolog Database Systems.
Shridhar AcharyaGael N. BuckleyPublished in: SIGMOD Conference (1985)
Keyphrases
- database systems
- transaction management
- transaction processing
- concurrency control
- database
- database operations
- real time database systems
- multilevel secure
- database management systems
- distributed database management systems
- random walk
- multidatabase systems
- data model
- query optimization
- database applications
- concurrency control protocols
- logic programming
- database design
- database technology
- relational database systems
- database server
- client server databases
- data types
- correctness criteria
- object oriented database systems
- expert systems
- data management
- knowledge base
- nested transactions
- transaction model
- distributed database systems
- knowledge representation
- programming language
- concurrency control algorithms
- abstract machine
- inference engine
- orders of magnitude
- prolog programs
- constraint logic programming
- semantically equivalent
- query processing
- relational databases