Parallelism and recovery in database systems
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)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
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
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Distributed database concurrency controls using before-values
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
The implementation of an integrated concurrency control and recovery scheme
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
On concurrency control by multiple versions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A multi-version concurrency scheme with no rollbacks
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
An algorithm for concurrency control and recovery in replicated distributed databases
ACM Transactions on Database Systems (TODS)
The performance of multiversion concurrency control algorithms
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Database Systems (TODS)
Limitations on database availability when networks partition
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Performance models of timestamp-ordering concurrency control algorithms in distributed databases
IEEE Transactions on Computers
A theory of reliability in database systems
Journal of the ACM (JACM)
Enhancing availability in distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular synchronization in multiversion databases: version control and concurrency control
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks
IEEE Transactions on Software Engineering
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Multiversion Cautious Schedulers for Database Concurrency Control
IEEE Transactions on Software Engineering
The five color concurrency control protocol: non-two-phase locking in general databases
ACM Transactions on Database Systems (TODS)
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Using multiversion data for non-interfering execution of write-only transactions
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Performance analysis of dynamic finite versioning for concurrent transaction and query processing
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Multiversion divergence control of time fuzziness
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Serializability with constraints
ACM Transactions on Database Systems (TODS)
Perspectives on database theory
ACM SIGACT News
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Serialization graph algorithms for multiversion concurrency control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Performance evaluation of multiversion with the Oracle synchronization
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
Distributed version management for read-only actions (extended abstract)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Concurrency control for distributed multiversion databases through time intervals
CSC '91 Proceedings of the 19th annual conference on Computer Science
Performance Analysis of Dynamic Finite Versioning Schemes: Storage Cost vs. Obsolescence
IEEE Transactions on Knowledge and Data Engineering
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Fault-Tolerant Protocol for Atomic Broadcast
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases
IEEE Transactions on Knowledge and Data Engineering
A Locking-Based Transaction Scheduling Algorithm for Supporting Web-Based Classes
ICWL '02 Proceedings of the First International Conference on Advances in Web-Based Learning
Integration of Time Versions into a Relational Database System
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Measured Performance of Time Interval Concurrency Control Techniques
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Proclamation-Based Model for Cooperating Transactions
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Multi-version Transaction Model to Improve Data Availability in Mobile Computing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
An Adaptable Constrained Locking Protocol for High Data Contention Environments
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
The freeze algorithms for concurrency control in secure real-time database systems
Data & Knowledge Engineering
Concurrent Maintenance of Views Using Multiple Versions
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
On avoiding remote blocking via real-time concurrency control protocols
Journal of Systems and Software
Speculative Locking Protocols to Improve Performance for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Priority Mechanisms for OLTP and Transactional Web Applications
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
ICWE '06 Proceedings of the 6th international conference on Web engineering
Versioned boxes as the basis for memory transactions
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
A concurrency control model for PDM systems
Computers in Industry
Gossiping over storage systems is practical
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Automating the detection of snapshot isolation anomalies
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
On the correctness of transactional memory
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Serializable isolation for snapshot databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Decision support in a distributed environment
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Shore-MT: a scalable storage manager for the multicore era
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Blocking reduction for distributed transaction processing within MANETs
Distributed and Parallel Databases
Supporting asynchronous update for distributed data cubes
Journal of Network and Computer Applications
Transactional Memory: Glimmer of a Theory
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Concurrency control in mobile distributed real-time database systems
Journal of Parallel and Distributed Computing
Serializable isolation for snapshot databases
ACM Transactions on Database Systems (TODS)
AP1: a platform for model-based, software engineering
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Concurrent programming with revisions and isolation types
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Semantics of concurrent revisions
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Prettier concurrency: purely functional concurrent revisions
Proceedings of the 4th ACM symposium on Haskell
A quorum-based replication framework for distributed software transactional memory
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
An ordered and reliable broadcast protocol for distributed systems
Computer Communications
Gumball: a race condition prevention technique for cache augmented SQL database management systems
DBSocial '12 Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks
Proceedings of the VLDB Endowment
Multiversion concurrency control for multidimensional index structures
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Scalable and dynamically balanced shared-everything OLTP with physiological partitioning
The VLDB Journal — The International Journal on Very Large Data Bases
Conversion: multi-version concurrency control for main memory segments
Proceedings of the 8th ACM European Conference on Computer Systems
Cache augmented database management systems
Proceedings of the ACM SIGMOD Workshop on Databases and Social Networks
Eliminating unscalable communication in transaction processing
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |
Concurrency control is the activity of synchronizing operations issued by concurrently executing programs on a shared database. The goal is to produce an execution that has the same effect as a serial (noninterleaved) one. In a multiversion database system, each write on a data item produces a new copy (or version) of that data item. This paper presents a theory for analyzing the correctness of concurrency control algorithms for multiversion database systems. We use the theory to analyze some new algorithms and some previously published ones.