Results 1 to 10 of about 4,695 (158)
Serializable snapshot isolation in PostgreSQL [PDF]
This paper describes our experience implementing PostgreSQL's new serializable isolation level. It is based on the recently-developed Serializable Snapshot Isolation (SSI) technique.
Dan R. K. Ports, Kevin Grittner
core +7 more sources
The serializability of concurrent database updates [PDF]
A sequence of interleaved user transactions in a database system may not be ser:ahzable, t e, equivalent to some sequential execution of the individual transactions Using a simple transaction model, it ~s shown that recognizing the transaction histories that are serlahzable is an NP-complete problem.
Christos H. Papadimitriou
openalex +4 more sources
Maximal serializability of iterated transactions
The serializability condition is usually considered in order to maintain the consistency of a Database in the presence of conflicting accesses to the Database performed by concurrent transactions. This serializability condition is considered herein as a general synchronization problem among transactions (or processes) which can be iterated infinitely ...
Marie-Paule Flé, Gérard Roucairol
openalex +4 more sources
Robustness against Read Committed for Transaction Templates with Functional Constraints [PDF]
The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput.
Brecht Vandevoort+3 more
doaj +1 more source
Robustness Against Transactional Causal Consistency [PDF]
Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing application programmers to consider blocks of actions (i.e., transactions) as ...
Sidi Mohamed Beillahi+2 more
doaj +1 more source
The Logical Timestamp Skew Anomaly in Event-Replicated Transaction Schedulers
To sidestep reasoning about the complex effects of concurrent execution, many system designers have conveniently embraced strict serializability on the strength of its claims, support from commercial and open-source database communities and ubiquitous ...
Emil Koutanov
doaj +1 more source
Theory and Practice of Transactional Method Caching [PDF]
Nowadays, tiered architectures are widely accepted for constructing large scale information systems. In this context application servers often form the bottleneck for a system's efficiency.
Lockemann, Peter C., Pfeifer, Daniel
core +3 more sources
On the Serializability of Transactions in JavaSpaces
AbstractJavaSpaces is a coordination infrastructure inspired by the shared dataspace model: processes interact by introducing, consuming, and testing for the presence/absence of data in a common repository. Besides these traditional operations, an event based coordination mechanism is considered which allows for the notification of the introduction of ...
Busi, Nadia, Zavattaro, Gianluigi
openaire +3 more sources
The Serializability of Network Codes [PDF]
Network coding theory studies the transmission of information in networks whose vertices may perform nontrivial encoding and decoding operations on data as it passes through the network. The main approach to deciding the feasibility of network coding problems aims to reduce the problem to optimization over a polytope of entropic vectors subject to ...
Anna Blasiak, Robert Kleinberg
openaire +3 more sources
Brief Announcement: On the Correctness of Transaction Processing with External Dependency [PDF]
We briefly introduce a unified model to characterize correctness levels stronger (or equal to) serializability in the presence of application invariant.
Hassan, Ahmed+2 more
core +1 more source