Journal ArticleDOI
Concurrency control for object bases
Reads0
Chats0
TLDR
It is proved that dynamic validation enforces executions that are “serializable with respect to the database state”, and allows schedules that are equivalent, i.e. produce the same effect, to a serial execution of transactions starting from the same initial database state.About:
This article is published in Information Systems.The article was published on 1993-04-01. It has received 7 citations till now. The article focuses on the topics: Non-lock concurrency control & Serializability.read more
Citations
More filters
Book ChapterDOI
A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
Alexei Sharpanskykh,Jan Treur +1 more
TL;DR: This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems and subsumes languages based on differential equations and temporal logics.
Applications of static analysis of concurrency control and recovery in objectbase systems
Ken Barker,Peter Graham +1 more
TL;DR: This dissertation explores the use of statically derived information to improve concurrency control and recovery in objectbase systems by exploiting knowledge of object method behaviours and decreases the number of corresponding I/O operations which are the primary source of overhead in recovery processing.
Proceedings ArticleDOI
A multiversion concurrent object model for distributed and multiuser environments
TL;DR: The design and implementation of an extended concurrent object model for distributed and multiuser systems called the Multiversion Concurrent Object (MCO) is described, which increases programmability, because it does not require any synchronization statements inside its methods.
Journal Article
A Semantic-Based Protocol for Concurrency Control in DOM Database Systems
TL;DR: This paper analyzes the commutativity relationship between DOM operations and proposes a new semantic-based protocol for DOM, namely the SCD protocol, which not only allows non-serializable schedules to be executed, but also preserves the correctness of the resulting schedules.
References
More filters
Book
Concurrency Control and Recovery in Database Systems
TL;DR: In this article, the design and implementation of concurrency control and recovery mechanisms for transaction management in centralized and distributed database systems is described. But this can lead to interference between queries and updates.
Journal ArticleDOI
Using semantic knowledge for transaction processing in a distributed database
TL;DR: This paper investigates how the semantic knowledge of an application can be used in a distributed database to process transactions efficiently and to avoid some of the delays associated with failures.
Book
The theory of database concurrency control
TL;DR: The theory of database concurrency control is one book that the authors really recommend you to read, to get more solutions in solving this problem.
Journal ArticleDOI
Commutativity-based concurrency control for abstract data types
TL;DR: Two novel concurrency control algorithms for abstract data types are presented and it is proved that both algorithms ensure a local atomicity property called dynamic atomicity, which means that they can be used in combination with any other algorithms that also ensureynamic atomicity.
Proceedings ArticleDOI
On extending the functions of a relational database system
Roger L. Haskin,Raymond A. Lorie +1 more
TL;DR: Additions to System R, a prototypical relational system, are introduced to satisfy demands: long fields, for storing non-coded data, and complex objects, which declare the semantic relationships among data items and provide a means for adequately supporting interactive access.