Semantics-Based Concurrency Control: Beyond Commutativity

Semantics based transaction management techniques for replicated data

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data

ARIES/NT: a recovery method based on write-ahead logging for nested transactions

VLDB '89 Proceedings of the 15th international conference on Very large data bases

A logically distributed approach for structuring office systems

COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems

Performance evaluation of semantics-based multilevel concurrency control protocols

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data

ACTA: a framework for specifying and reasoning about transaction structure and behavior

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data

ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging

ACM Transactions on Database Systems (TODS)

Semantics-based concurrency control: beyond commutativity

ACM Transactions on Database Systems (TODS)

On correctness of non-serializable executions

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Consistency and orderability: semantics-based correctness criteria for databases

ACM Transactions on Database Systems (TODS)

Specification and Management of Interdependent Data in OperationalSystems and Data Warehouses

Distributed and Parallel Databases

Formalization of Workflows and Correctness Issues in the Presence of Concurrency

Distributed and Parallel Databases - Special issue on electronic commerce

Incremental Recovery in Main Memory Database Systems

IEEE Transactions on Knowledge and Data Engineering

Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation

IEEE Transactions on Knowledge and Data Engineering

Repeating History Beyond ARIES

VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases

The Design of XPRS

VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases

A Formal Approach to Recovery by Compensating Transactions

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases

A Formalism for Extended Transaction Model

VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases