Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
An algorithm for early unlocking of entities in database transactions
Journal of Algorithms
The virtues of locking by symbolic names
Journal of Algorithms
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Simple rational guidance for chopping up transactions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Semantics based synchronization in database systems
Semantics based synchronization in database systems
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Locking Primitives in a Database System
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Concurrency Control Problem for Database Systems
Concurrency Control Problem for Database Systems
Altruistic Locking: A Strategy for Coping with Long Lived Transactions
Proceedings of the 2nd International Workshop on High Performance Transaction Systems
Transaction chopping: algorithms and performance studies
ACM Transactions on Database Systems (TODS)
Transaction synchronization in structures for point data
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Mu3D: a causal consistency protocol for a collaborative VRML editor
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Design and evaluation of a conit-based continuous consistency model for replicated services
ACM Transactions on Computer Systems (TOCS)
Exploiting user-group relationships for increasing concurrency in software engineering environments
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Semantic Transaction Processing in Mobile Computing
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Automatic atomic region identification in shared memory SPMD programs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |
In the presence of semantic information, serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among transactions which are non-serializable, but which nonetheless preserve the consistency of the database and are acceptable to other users. We develop a graph-based tool whose acyclicity is both a necessary and sufficient condition for the correctness of an execution. Our theory encompasses earlier proposals that incorporate semantic information of transactions. Furthermore it is the first approach that provides an efficient graph based tool for recognizing correct schedules without imposing any restrictions on the application domain. Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments.