Journal ArticleDOI
The notions of consistency and predicate locks in a database system
Reads0
Chats0
TLDR
It is argued that a transaction needs to lock a logical rather than a physical subset of the database, and an implementation of predicate locks which satisfies the consistency condition is suggested.Abstract:
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.read more
Citations
More filters
Proceedings ArticleDOI
A model for adaptable systems for transaction processing
Bharat Bhargava,John Riedl +1 more
TL;DR: A model is presented for an adaptable system that allows online switching of classes of algorithms for database transaction processing and identifies conditions on the state of processing that will maintain consistency during the switch from one class to another.
Proceedings Article
Partitioned Two-Phase Locking.
Meichun Hsu,Arvola Chan +1 more
TL;DR: The purpose is to devise concurrency control methods that allow the computation of derived information to proceed without interfering with the updating of raw data.
Book ChapterDOI
Communication support for reliable distributed computing
TL;DR: A collection of communication primitives integrated with a mechanism for handling process failure and recovery facilitate the implementation of fault-tolerant process groups, which can be used to provide distributed services in an environment subject to non-malicious crash failures.
Journal ArticleDOI
Designing a high-performance database engine for the 'Db4XML' native XML database system
TL;DR: This paper describes a database engine called 'Db4XML', which provides storage for XML documents in native format, and lists different techniques that can be used to evaluate generalized path expressions (GPE) and presents a performance comparison of the same.
Atomicity vs. availability : concurrency control for replicated data
TL;DR: This paper proposes two integrated methods for implementing concurrency control and replication for data of abstract type that minimizes constraints on availability and concurrency and uses quorum consensus.
References
More filters
Journal ArticleDOI
A relational model of data for large shared data banks
TL;DR: In this article, a model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced, and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Proceedings ArticleDOI
Recovery semantics for a DB/DC system
TL;DR: A unified, systematic view of integrity/recovery as it relates to a data-processing system—whether man, machine, or both is presented.
Proceedings ArticleDOI
Recovery scenario for a DB/DC system
TL;DR: Previously developed sphere-of-control (SOC) concepts are used to develop a scenario for post-process recovery where an information structure provides the recovery boundary around the effects of the usage of a resource.