On Herbrand Semantics and Conflict Serializability of Read-Write Transactions.
Jens LechtenbörgerGottfried VossenPublished in: PODS (2000)
Keyphrases
- read write
- correctness criterion
- logic programming
- concurrency control
- logic programs
- flash memory
- multidatabase systems
- transaction management
- correctness criteria
- integrity constraints
- conflict resolution
- concurrency control protocols
- distributed database systems
- database operations
- nested transactions
- b tree
- snapshot isolation
- transaction processing
- deductive databases
- distributed databases
- operating system
- databases