A relational model of data for large shared data banks
Communications of the ACM
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Recovery scenario for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Optimism and consistency in partitioned distributed database systems
ACM Transactions on Database Systems (TODS)
A database cache for high performance and fast restart in database systems
ACM Transactions on Database Systems (TODS)
An algorithm for concurrency control and recovery in replicated distributed databases
ACM Transactions on Database Systems (TODS)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A mean value performance model for locking in databases: the no-waiting case
Journal of the ACM (JACM)
Cautious transaction schedulers with admission control
ACM Transactions on Database Systems (TODS)
File servers for network-based distributed systems
ACM Computing Surveys (CSUR)
Locking performance in centralized databases
ACM Transactions on Database Systems (TODS)
Integrated concurrency control and recovery mechanisms: design and performance evaluation
ACM Transactions on Database Systems (TODS)
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Transaction management in the R* distributed database management system
ACM Transactions on Database Systems (TODS)
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Database Systems (TODS)
Optimistic concurrency control for abstract data types
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Comparing how atomicity mechanisms support replication
ACM SIGOPS Operating Systems Review
Deleting completed transactions
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Safety of non-well-locked transaction systems
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Availability in partitioned replicated databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A turnable protocol for symmetric surveillance in distributed systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Dynamic quorum adjustment for partitioned data
ACM Transactions on Database Systems (TODS)
Optimistic concurrency control for abstract data types
ACM SIGOPS Operating Systems Review
On cacheability of lock-variables in tightly coupled multiprocessor systems
ACM SIGARCH Computer Architecture News
ACM Transactions on Information Systems (TOIS)
Concurrency versus availability: atomicity mechanisms for replicated data
ACM Transactions on Computer Systems (TOCS)
The overhead of locking (and commit) protocols in distributed databases
ACM Transactions on Database Systems (TODS)
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Operation specific locking in B-trees
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Chickens and eggs—the interrelationship of systems and theory
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Performance models of timestamp-ordering concurrency control algorithms in distributed databases
IEEE Transactions on Computers
Concurrency control performance modeling: alternatives and implications
ACM Transactions on Database Systems (TODS)
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers
A recovery algorithm for a high-performance memory-resident database system
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Concepts for transaction recovery in nested transactions
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Efficiently supporting procedures in relational database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Update propagation in Bakunin data networks
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Specifying graceful degradation in distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Office-by-example: an integrated office system and database manager
ACM Transactions on Information Systems (TOIS)
Concurrent search structure algorithms
ACM Transactions on Database Systems (TODS)
A theory of reliability in database systems
Journal of the ACM (JACM)
Database concurrency control using data flow graphs
ACM Transactions on Database Systems (TODS)
Concurrency control for distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Single-Site and Distributed Optimistic Protocols for Concurrency Control
IEEE Transactions on Software Engineering
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
The group paradigm for concurrency control
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Implementing large production systems in a DBMS environment: concepts and algorithms
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Achieving High Availability in Distributed Databases
IEEE Transactions on Software Engineering
Cautious Transaction Schedulers for Database Concurrency Control
IEEE Transactions on Software Engineering
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
IEEE Transactions on Software Engineering
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
IEEE Transactions on Software Engineering
Resilient Objects in Broadband Networks
IEEE Transactions on Software Engineering
The Delay Due to Dynamic Two-Phase Locking
IEEE Transactions on Software Engineering
Data replicas in distributed information services
ACM Transactions on Database Systems (TODS)
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Exploiting concurrency in a DBMS implementation for production systems
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Performance evaluation of global reading of entire databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Reliability mechanisms for ADAMS
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Maintaining availability in partitioned replicated databases
ACM Transactions on Database Systems (TODS)
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unifying model for consistent distributed software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems
IEEE Transactions on Computers
A Microeconomic Approach to Optimal Resource Allocation in Distributed Computer Systems
IEEE Transactions on Computers
Modular synchronization in multiversion databases: version control and concurrency control
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
An Overview of the Nexus Distributed Operating System Design
IEEE Transactions on Software Engineering
On Distributing JASMIN's Optimistic Multiversioning Page Manager
IEEE Transactions on Software Engineering
Timestamp-Based Orphan Elimination
IEEE Transactions on Software Engineering
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks
IEEE Transactions on Software Engineering
A decision procedure for conjunctive query disjointness
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The impact of recovery on concurrency control
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A process-oriented approach to configuration management
ICSE '89 Proceedings of the 11th international conference on Software engineering
A concurrency control mechanism based on extendible hashing for main memory database systems
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection
IEEE Transactions on Software Engineering
DATAPLEX: an access to heterogeneous distributed databases
Communications of the ACM
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Distributed Checkpointing for Globally Consistent States of Databases
IEEE Transactions on Software Engineering
Concurrency and availability as dual properties of replicated atomic data
Journal of the ACM (JACM)
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
The Performance of Flow Graph Locking
IEEE Transactions on Software Engineering
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)
Linguistic support for atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent operations on extendible hashing and its performance
Communications of the ACM
A Distributed Commit Protocol for a Multicomputer System
IEEE Transactions on Computers
The Starburst long field manager
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Scheduling real-time transactions with disk resident data
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
Heterogeneous distributed database systems for production use
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
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
Reliable transaction management in a multidatabase system
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
`PRABHA'—a distributed concurrency control algorithm
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
An Optimistic Locking Technique for Concurrency Control in Distributed Databases
IEEE Transactions on Software Engineering
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling hot spots in database systems (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HYDRO: a heterogeneous distributed database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
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
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
Testability of Software Components
IEEE Transactions on Software Engineering
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
The DIAMOND security policy for object-oriented databases
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Using delayed commitment in locking protocols for real-time databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
MLR: a recovery method for multi-level systems
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Access method concurrency with recovery
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A fault-tolerant implementation protocol for replicated database systems on bus local area networks
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Quantifying the benefits of semantics
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Performance evaluation of cautious waiting
ACM Transactions on Database Systems (TODS)
Scheduling real-time transactions: a performance evaluation
ACM Transactions on Database Systems (TODS)
An approach to eliminate transaction blocking in locking protocols
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tolerating bounded inconsistency for increasing concurrency in database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communications of the ACM - Special issue on information filtering
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The generalized tree quorum protocol: an efficient approach for managing replicated data
ACM Transactions on Database Systems (TODS)
Adaptable concurrency control for atomic data types
ACM Transactions on Computer Systems (TOCS)
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Context-based synchronization: an approach beyond semantics for concurrency control
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)
Deadlock prevention in a distributed database system
ACM SIGMOD Record
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Concurrency control in federated databases: a dynamic approach
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ACM Transactions on Database Systems (TODS)
Relative serializability (extended abstract): an approach for relaxing the atomicity of transactions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
Semantic locking in object-oriented database systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A lock method for KBMSs using abstraction relationships' semantics
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Isolation of transaction aborts in object-oriented database systems
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quasi-dynamic two-phase locking
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
The CORDS multidatabase project
IBM Systems Journal
Safe locking policies for dynamic databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Serializability with constraints
ACM Transactions on Database Systems (TODS)
Consistency of transactions and random batch
ACM Transactions on Database Systems (TODS)
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Efficient optimistic concurrency control using loosely synchronized clocks
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
Perspectives on database theory
ACM SIGACT News
Recovery for transaction failures in object-based databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A concurrency control framework for collaborative systems
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Extended ephemeral logging: log storage management for applications with long lived transactions
ACM Transactions on Database Systems (TODS)
Resource Conservation in a Mobile Transaction System
IEEE Transactions on Computers - Special issue on mobile computing
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
Concurrency and recovery in generalized search trees
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Secure transaction processing in firm real-time database systems
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Revisiting commit processing in distributed database systems
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Transaction synchronization in multiresolation spatial databases
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Concurrency control in a VLSI design database
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
The Performance of Two Phase Commit Protocols in the Presence of Site Failures
Distributed and Parallel Databases
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On being optimistic about real-time constraints
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A novel checkpointing scheme for distributed database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Hybrid concurrency control for abstract data types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
System R: an architectural overview
IBM Systems Journal
Replicating and allocating data in a distributed database system for workstations
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
A stepwise approach to distributed database systems by database machines
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
A Database Management System for the Federal Courts
ACM Transactions on Database Systems (TODS)
On Concurrency Control by Multiple Versions
ACM Transactions on Database Systems (TODS)
Persistent memory: a storage architecture for object-oriented database systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Transaction restarts in Prolog database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A hierarchical approach to concurrency control for multidatabases
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Read-only transactions in a distributed database
ACM Transactions on Database Systems (TODS)
Transactions and consistency in distributed database systems
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Performance of recovery architectures in parallel associative database processors
ACM Transactions on Database Systems (TODS)
Achieving robustness in distributed database systems
ACM Transactions on Database Systems (TODS)
Multiversion concurrency control—theory and algorithms
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
Introduction to a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
Concurrency control in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
The correctness of concurrency control mechanisms in a system for distributed databases (SDD-1)
ACM Transactions on Database Systems (TODS)
A locking protocol for resource coordination in distributed databases
ACM Transactions on Database Systems (TODS)
Parallelism and recovery in database systems
ACM Transactions on Database Systems (TODS)
Retrospection on a database system
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Process synchronization in database systems
ACM Transactions on Database Systems (TODS)
Scalable Consistency Protocols for Distributed Services
IEEE Transactions on Parallel and Distributed Systems
Interval hierarchies and their application to predicate files
ACM Transactions on Database Systems (TODS)
Effects of locking granularity in a database management system
ACM Transactions on Database Systems (TODS)
Concurrent manipulation of binary search trees
ACM Transactions on Database Systems (TODS)
Reliability mechanisms for SDD-1: a system for distributed databases
ACM Transactions on Database Systems (TODS)
The integrity subsystem of a distributed database system for workstations
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
The serializability of concurrent database updates
Journal of the ACM (JACM)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
Useless Actions Make a Difference: Strict Serializability of Database Updates
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
A theorem in database concurrency control
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Locking Expressions for Increased Database Concurrency
Journal of the ACM (JACM)
Locking Primitives in a Database System
Journal of the ACM (JACM)
Locking Protocols: From Exclusive to Shared Locks
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Fault tolerance in deductive knowledge bases
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Concurrency control by transactions carrying states and preordering universioned entities
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Comparing how atomicity mechanisms support replication
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Distributed version management for read-only actions (extended abstract)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A distributed file service based on optimistic concurrency control
Proceedings of the tenth ACM symposium on Operating systems principles
Transactions and synchronization in a distributed operating system
Proceedings of the tenth ACM symposium on Operating systems principles
Distributed transactions for reliable systems
Proceedings of the tenth ACM symposium on Operating systems principles
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
CARAT: a testbed for the performance evaluation of distributed database systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
REQUEST II — a distributed database system for local area networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Deadlock-freedom (and saftey) of transactions in a distributed database
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Issues related to MIMD shared-memory computers: the NYU ultracomputer approach
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
The PROMPT Real-Time Commit Protocol
IEEE Transactions on Parallel and Distributed Systems
Secure Concurrency Control in Firm Real-Time Database Systems
Distributed and Parallel Databases - Security of data and transaction processing
A Collaborative Environment for Authoring Large Knowledge Bases
Journal of Intelligent Information Systems
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
The Recovery Manager of the System R Database Manager
ACM Computing Surveys (CSUR)
Surveyor's Forum: Technical Transactions
ACM Computing Surveys (CSUR)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
A history and evaluation of System R
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
A new approach to developing and implementing eager database replication protocols
ACM Transactions on Database Systems (TODS)
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Some properties of relational expressions
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
ACM Transactions on Computer Systems (TOCS)
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Consistency, concurrency, and crash recovery
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
The Performance of an Efficient Distributed Synchronization and Recovery Algorithm
The Journal of Supercomputing
Atomic data abstractions in a distributed collaborative editing system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The complexity of testing predicate locks
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Queueing network models for concurrent transaction processing in a database system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deadlock removal using partial rollback in database systems
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Distributed database concurrency controls using before-values
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
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 totally ordering checkpoints in distributed data bases
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Maximal concurrency by locking
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control in graph protocols by using edge locks
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control mechanisms and the serializability of concurrent tree algorithms
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Synapse approach to database recovery
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Towards a theory of online schedulers
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
A recovery algorithm for a distributed database system
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Hierarchical database decomposition: a technique for database concurrency control
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
On concurrency control by multiple versions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency on high-traffic data elements
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Is distributed locking harder?
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
An optimal algorithm for testing for safety and detecting deadlocks in locked transaction systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control in a dynamic search structure
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Compatibility and commutativity in non-two-phase locking protocols
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Theory of serializablity for a parallel model of transactions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Towards a self-adapting centralized concurrency control algorithm
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Data management facilities of an operating system kernel
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Affinity-based management of main memory database clusters
ACM Transactions on Internet Technology (TOIT)
Maintaining security and timeliness in real-time database system
Journal of Systems and Software
Transactional lock-free execution of lock-based programs
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Integrated version and transaction group model for shared engineering databases
Data & Knowledge Engineering
SP-GiST: An Extensible Database Index for Supporting Space Partitioning Trees
Journal of Intelligent Information Systems
Multiple Reservations and the Oklahoma Update
IEEE Parallel & Distributed Technology: Systems & Technology
Transaction management issues in a failure-prone multidatabase system environment
The VLDB Journal — The International Journal on Very Large Data Bases
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
Value-based scheduling in real-time database systems
The VLDB Journal — The International Journal on Very Large Data Bases
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Ordered shared locks for real-time databases
The VLDB Journal — The International Journal on Very Large Data Bases
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Multikey, Extensible Hashing for Relational Databases
IEEE Software
The Group Paradigm for Concurrency Control Protocols
IEEE Transactions on Knowledge and Data Engineering
A Model for Adaptable Systems for Transaction Processing
IEEE Transactions on Knowledge and Data Engineering
An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions
IEEE Transactions on Knowledge and Data Engineering
Locking Performance in a Shared Nothing Parallel Database Machine
IEEE Transactions on Knowledge and Data Engineering
Storage Efficient Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
A New Methodology to Evaluate Locking Protocols
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Using Tickets to Enforce the Serializability of Multidatabase Transactions
IEEE Transactions on Knowledge and Data Engineering
The Performance of Protocols Based on Locks with Ordered Sharing
IEEE Transactions on Knowledge and Data Engineering
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
The Partitioned Synchronization Rule for Planar Extendible Partial Orders
IEEE Transactions on Knowledge and Data Engineering
On-The-Fly Reading of Entire Databases
IEEE Transactions on Knowledge and Data Engineering
Using Reconfiguration for Efficient Management of Replicated Data
IEEE Transactions on Knowledge and Data Engineering
Indexing for Multiversion Locking: Alternatives and Performance Evaluation
IEEE Transactions on Knowledge and Data Engineering
OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server
IEEE Transactions on Knowledge and Data Engineering
Concurrency Control in Database Systems
IEEE Transactions on Knowledge and Data Engineering
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
A Nonblocking Quorum Consensus Protocol for Replicated Data
IEEE Transactions on Parallel and Distributed Systems
Checkpointing for Distributed Databases: Starting from the Basics
IEEE Transactions on Parallel and Distributed Systems
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Clarification of Two Phase Locking in Concurrent Transaction Processing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management
IEEE Transactions on Software Engineering
Methods for the administration of textual data in database systems
SIGIR '80 Proceedings of the 3rd annual ACM conference on Research and development in information retrieval
IEEE Transactions on Knowledge and Data Engineering
Coupling Production Systems and Database Systems: A Homogeneous Approach
IEEE Transactions on Knowledge and Data Engineering
Efficient Execution of Read-Only Transactions in Replicated Multiversion Databases
IEEE Transactions on Knowledge and Data Engineering
Two Fully Distributed Concurrency Control Algorithms
IEEE Transactions on Knowledge and Data Engineering
Global Predicate-Based Locks in Long-Running Transactions
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Improving Parallelism in Asynchronous Reading of an Entire Database
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Controlling Concurrent Accesses in Multimedia Database Systems
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
Performance Studies of Shared-Nothing Parallel Transaction Processing Systems
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Solving the Phantom Problem by Predicative Optimistic Concurrency Control
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Obtaining Progressive Protocols for a Simple Multiversion Database Model
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
An Optimal Locking Scheme in Object-Oriented Database Systems
WAIM '00 Proceedings of the First International Conference on Web-Age Information Management
Database Portals: A New Application Program Interface
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Certification by Intervals of Timestamps in Distributed Database Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Language Support for Office Modelling
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
The Management of Dynamically Distributed Database Windows (Extended Abstract)
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On Affinity Based Routing in Multi-System Data Sharing
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Adaptive Predicate Managers in Database Systems
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Repeating History Beyond ARIES
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Reducing Storage for Quorum Consensus Algorithms
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Mixed concurrency control: Dealing with heterogeneity in distributed database systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Scheduling Real-time Transactions: a Performance Evaluation
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
The Tree Quorum Protocol: An Efficient Approach for Managing Replicated Data
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Adaptive Locking Strategies in a Multi-node Data Sharing Environment
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Resilient Logical Structures for Efficient Management of Replicated Data
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Production Rules in Parallel and Distributed Database Environments
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
Locking and Latching in a Memory-Resident Database System
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Key Range Locking Strategies for Improved Concurrency
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Value-cognizant Speculative Concurrency Control
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
High-Concurrency Locking in R-Trees
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
System D: A Distributed System for Availability
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Quantitative Comparison of Lockprotocols for Centralized Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Disjoint-Interval Topological Sort: A Useful Concept in Serializability Theory (Extended Abstract)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Empirical Comparison of Database Concurrency Schemes
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
A New Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
The Optimistic Readers Transformation
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
An Efficient Method for Controlling Access in Object-Oriented Databases
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets
VLDB '82 Proceedings of the 8th 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
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Secure buffering in firm real-time database systems
The VLDB Journal — The International Journal on Very Large Data Bases
A predicate-based caching scheme for client-server database architectures
The VLDB Journal — The International Journal on Very Large Data Bases
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Programming methodology
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
Research problems of decentralized systems with largely autonomous nodes
ACM SIGOPS Operating Systems Review
Concurrency control with lock preemption and restoration
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Model-checking of correctness conditions for concurrent objects
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A decomposition solution to the queueing network model of the centralized DBMS with static locking
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Error recovery in systems of communicating processes.
ICSE '84 Proceedings of the 7th international conference on Software engineering
Issues of correctness in database concurrency control by locking
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
A reliable distributed control algorithm for updating replicated databases
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
Coordinating concurrent access in a distributed database architecture
CAW '78 Proceedings of the fourth workshop on Computer architecture for non-numeric processing
Consistency and correctness of duplicate database systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A client-based transaction system to maintain data integrity
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
A nested transaction mechanism for LOCUS
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Logical design of a reliable transaction management in a distributed multiple processor system
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Datenbank-Pascal an extendable database management system for personal computer networks
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Edge locks and deadlock avoidance in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On serializability of iterated transactions
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Concurrency control algorithms for multiversion database systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A multi-version concurrency scheme with no rollbacks
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synchronization and recovery of actions
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A concurrency control theory for nested transactions (Preliminary Report)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Data-dependent concurrency control and recovery (Extended Abstract)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The failure and recovery problem for replicated databases
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Freedom from deadlock of locked transactions in a distributed database
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Abstraction mechanisms for database programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Aspects of a trigger subsystem in an integrated database system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software for interactive on-line conferences
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
ACM '82 Proceedings of the ACM '82 conference
A model of the performance of a rollback algorithm
ACM '79 Proceedings of the 1979 annual conference
Serializability in multi-level monitor environments
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Non-blocking concurrency control in distributed database systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Scheduling real-time transactions with dynamic values: a performance evaluation
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
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)
Issues in the design and use of a distributed file system
ACM SIGOPS Operating Systems Review
Virtual memory transaction management
ACM SIGOPS Operating Systems Review
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reorganization of the database log for information warfare data recovery
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
Data sharing and recovery in gigabit-networked databases
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Asynchronous Backup and Initialization of a Database Server for Replicated Database Systems
The Journal of Supercomputing
Issues in the specification and design of parallel programs
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
On avoiding remote blocking via real-time concurrency control protocols
Journal of Systems and Software
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A transaction manager component for cooperative transaction models
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Speculative Locking Protocols to Improve Performance for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Designing a high-performance database engine for the 'Db4XML' native XML database system
Journal of Systems and Software
A Transaction Model for XML Databases
World Wide Web
Coordinating concurrent access in a distributed database architecture
ACM SIGARCH Computer Architecture News
Errors in 'process synchronization in database systems'
ACM SIGMOD Record
Distributed processing of data dynamics
ACM SIGMOD Record
Constraints: consistency and integrity
ACM SIGMOD Record
A Survey of Mobile Transactions
Distributed and Parallel Databases
Conflict scheduling of transactions on XML documents
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Characteristics of production database workloads and the TPC benchmarks
IBM Systems Journal - End-to-end security
Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Investigations in tree locking for compiled database applications
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Interprocess communication system of the MT35 digital exchange
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Concurrency control and integrity preservation for the `RIM' DBMS
ACM SIGMIS Database
Transactions: a construct for reliable distributed computing
ACM SIGOPS Operating Systems Review
Data-dependent concurrency control and recovery
ACM SIGOPS Operating Systems Review
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
Asynchronous group mutual exclusion
Distributed Computing
Implementing database solutions on the web with aspect-oriented programming
Journal of Computing Sciences in Colleges
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing - Special issue: Specification of concurrent systems
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
A serializability violation detector for shared-memory server programs
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Virtualizing Transactional Memory
Proceedings of the 32nd annual international symposium on Computer Architecture
Making snapshot isolation serializable
ACM Transactions on Database Systems (TODS)
On deadlocks of exclusive AND-requests for resources
Distributed Computing
A transactional object calculus
Science of Computer Programming
AO challenge - implementing the ACID properties for transactional objects
Proceedings of the 5th international conference on Aspect-oriented software development
On Consistent Reading of Entire Databases
IEEE Transactions on Knowledge and Data Engineering
SNAPI '03 Proceedings of the international workshop on Storage network architecture and parallel I/Os
Optimistic concurrency control and recovery in a multi personal computer system
ACM SIGSMALL Newsletter
Optimistic concurrency control and recovery in a multi personal computer system
ACM SIGSMALL Newsletter
The cost of concurrent, low-contention Read&Modify&Write
Theoretical Computer Science - Foundations of software science and computation structures
Functional specifications of a subsystem for data base integrity
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Architectural issues in distributed data base systems
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Self-descriptive relational data base
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Scheduling algorithms for avoiding inconsistency in large databases
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Issues in distributed data base management systems: a technical overview
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Locking and recovery in a shared database system: an application programming tutorial
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Minimizing the I/O-operations for undo-logging in database systems
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Proving consistency of database transactions
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Transaction and catalog management of the distributed file management system DISCO
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Parallel processing of relations: a single-assignment approach
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Application of sub-predicate tests in database systems
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Locking with prevention of cyclic and infinite restarting in distributed database systems
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
The private workspace model feasibility and applications to 2PL performance improvements
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Pre-analysis locking: a safe and deadlock free locking policy
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
On-the-fly, incremental, consistent reading of entire databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
A commercial back-end data base system
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
A theory of correct locking protocols for database systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Optimistic methods for concurrency control in distributed database systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Processing conjunctive predicates and queries
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Update synchronization in distributed databases
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Non-two-phase locking protocols with shared and exclusive locks
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
On the design of a reliable storage component for distributed database management systems
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
The analysis of the effects of concurrency control on distributed database system performance
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Strategies for handling transactions in distributed data base systems during recovery
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
An efficient method for performing record deletions and updates using index scans
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Transactions with isolation and cooperation
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Queueing Analysis of Global Locking Synchronization Schemes for Multicopy Databases
IEEE Transactions on Computers
A Distributed Control Algorithm for Reliably and Consistently Updating Replicated Databases
IEEE Transactions on Computers
Auditing compliance with a Hippocratic database
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
A transaction model and multiversion concurrency control for mobile database systems
Distributed and Parallel Databases
Automating the detection of snapshot isolation anomalies
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Software transactional memory for large scale clusters
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Optimizing lock protocols for native XML processing
Data & Knowledge Engineering
Transaction Management for Flash Media Databases in Portable Computing Environments
Journal of Intelligent Information Systems
Selective 2-versioning for concurrency control in data warehousing systems: S2V
International Journal of Computer Applications in Technology
Introducing self-adaptability into transaction processing
Proceedings of the 2008 ACM symposium on Applied computing
Lock-free consistency control for web 2.0 applications
Proceedings of the 17th international conference on World Wide Web
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Model checking transactional memories
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Serializable isolation for snapshot databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Coordination protocols for a reliable sensor, actuator, and device network (SADN)
Mobile Information Systems - Mobile Systems and Applications
Jim Gray at IBM: the transaction processing revolution
ACM SIGMOD Record - Tribute to honor Jim Gray
A self-adaptable scheduler for synchronizing transactions in dynamically configurable environments
Data & Knowledge Engineering
Improving the performance of read-only transactions through asynchronous speculation
Proceedings of the 2008 Spring simulation multiconference
Simulation of a complex distributed real-time database system
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Preventing Illegal Information Flow Based on Role-Based Access Control Model
NBiS '08 Proceedings of the 2nd international conference on Network-Based Information Systems
A Fault-Tolerant Model of Wireless Sensor-Actuator Network
International Journal of Distributed Sensor Networks - Advances on Heterogeneous Wireless Sensor Networks
The semantics of progress in lock-based transactional memory
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A concurrency control algorithm in a distributed environment
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Concurrency coordination in a locally distributed database system
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Fair timestamp allocation in distributed systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Blocking reduction for distributed transaction processing within MANETs
Distributed and Parallel Databases
The VLDB Journal — The International Journal on Very Large Data Bases
A purpose-based synchronisation protocol of multiple transactions in multi-agent systems
International Journal of Business Intelligence and Data Mining
Stretching transactional memory
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
A legal information flow (LIF) scheduler based on role-based access control model
Computer Standards & Interfaces
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development V
Transactional Memory: Glimmer of a Theory
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Serializable isolation for snapshot databases
ACM Transactions on Database Systems (TODS)
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Efficient algorithms and performance results for multi-user knowledge bases
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Adaptive speculative locking protocol for distributed real-time database systems
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
System R: an architectural overview
IBM Systems Journal
IBM Journal of Research and Development
Cooperative update exchange in the Youtopia system
Proceedings of the VLDB Endowment
Locking key ranges with unbundled transaction services
Proceedings of the VLDB Endowment
Quantifying isolation anomalies
Proceedings of the VLDB Endowment
Implementing Isolation for Service-Based Applications
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Multiversion repeatable read isolation level: theory and practice
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Coordination for multi-person visual program development
Journal of Visual Languages and Computing
Role-based scheduling and synchronization algorithms to prevent illegal information flow
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
Improving the performance of read-only transactions through speculation
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Keep off the grass: locking the right path for atomicity
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
A survey of B-tree locking techniques
ACM Transactions on Database Systems (TODS)
G-Store: a scalable data store for transactional multi key access in the cloud
Proceedings of the 1st ACM symposium on Cloud computing
Brief announcement: tree decomposition for faster concurrent data structures
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
The human factors of consistency maintenance in multiplayer computer games
Proceedings of the 16th ACM international conference on Supporting group work
A model of independence and overlap for transactions on database schemata
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Speculation-based protocols for improving the performance of read-only transactions
International Journal of Computational Science and Engineering
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
Revisiting and improving a result on integrity preservation by concurrent transactions
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
A multi-granular lock model for distributed object oriented databases using semantics
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
A transaction mechanism for native XML database
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Zephyr: live migration in shared nothing databases for elastic cloud platforms
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Exploiting the commutativity lattice
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Automatic fine-grain locking using shape properties
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Design and implementation of the modified r-tree structure with non-blocking querying
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Improved concurrency control technique with lock-free querying for multi-dimensional index structure
AIRS'05 Proceedings of the Second Asia conference on Asia Information Retrieval Technology
Performance of distributed optimistic concurrency control in real-time databases
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
XDGL: XPath-based concurrency control protocol for XML data
BNCOD'05 Proceedings of the 22nd British National conference on Databases: enterprise, Skills and Innovation
An efficient phantom protection method for multi-dimensional index structures
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
A component-oriented model for the design of safe multi-threaded applications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A dataguide-based concurrency control protocol for cooperation on XML data
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
A task-type aware transaction scheduling algorithm in J2EE
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Foundations and Trends in Databases
High concurrency for continuously evolving OODBMS
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Democratizing transactional programming
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Concurrent data representation synthesis
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Reasoning about lock placements
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
A distributed tactical battle-data transaction management system
Mathematical and Computer Modelling: An International Journal
Performance issues in database systems
Mathematical and Computer Modelling: An International Journal
A performance model of database systems under arbitrary data access distribution
Mathematical and Computer Modelling: An International Journal
Transaction independence: The road to cooperative systems
Mathematical and Computer Modelling: An International Journal
ACM Transactions on Database Systems (TODS)
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Granola: low-overhead distributed transaction coordination
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
Serializable snapshot isolation in PostgreSQL
Proceedings of the VLDB Endowment
How consistent is your cloud application?
Proceedings of the Third ACM Symposium on Cloud Computing
Democratizing transactional programming
Proceedings of the 12th International Middleware Conference
Schedule-Aware Transactions for Ambient Intelligence Environments
International Journal of Ambient Computing and Intelligence
ElasTraS: An elastic, scalable, and self-managing transactional database for the cloud
ACM Transactions on Database Systems (TODS)
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Speedy transactions in multicore in-memory databases
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
bCATE: a balanced contention-aware transaction execution model for highly concurrent OLTP systems
WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management
F1: a distributed SQL database that scales
Proceedings of the VLDB Endowment
Democratizing transactional programming
Communications of the ACM
Consistency anomalies in multi-tier architectures: automatic detection and prevention
The VLDB Journal — The International Journal on Very Large Data Bases
Warranties for faster strong consistency
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Hi-index | 48.33 |
In database systems, users access shared data under the assumption that the data satisfies certain consistency constraints. This paper defines the concepts of transaction, consistency and schedule and shows that consistency requires that a transaction cannot request new locks after releasing a lock. Then it is argued that a transaction needs to lock a logical rather than a physical subset of the database. These subsets may be specified by predicates. An implementation of predicate locks which satisfies the consistency condition is suggested.