Algebraic Semantics for Compensable Transactions.
Jing LiHuibiao ZhuJifeng HePublished in: ICTAC (2007)
Keyphrases
- algebraic structure
- logic programming
- formal semantics
- transactional data
- correctness criterion
- database
- information systems
- semantic information
- distributed database systems
- databases
- neural network
- conceptual graphs
- concurrent execution
- database transactions
- database updates
- transaction management
- transaction processing
- concurrency control
- data sets