Results 1 to 10 of about 2,812 (135)
Serializable Snapshot Isolation in PostgreSQL [PDF]
Proceedings of the VLDB Endowment, 2012 This paper describes our experience implementing PostgreSQL's new serializable isolation level. It is based on the recently-developed Serializable Snapshot Isolation (SSI) technique.
Grittner, Kevin, Ports, Dan R. K.
core +3 more sources
A formal characterization of epsilon serializability
IEEE Transactions on Knowledge and Data Engineering, 1995 Epsilon Serializability (ESR) is a generalization of classic serializability (SR). ESR allows some limited amount of inconsistency in transaction processing (TP), through an interface called epsilon-transactions (ETs). For example, some query ETs may view inconsistent data due to non-SR interleaving with concurrent updates.
Ramamritham, Krithi, Pu, Calton
exaly +4 more sources
Modular verification of chemical reaction network encodings via serializability analysis [PDF]
Theoretical Computer Science, 2016 Matthew R Lakin +2 more
exaly +2 more sources
Robustness against Read Committed for Transaction Templates with Functional Constraints [PDF]
Logical Methods in Computer Science, 2023 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]
Logical Methods in Computer Science, 2021 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
IEEE Access, 2021 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
Universally Serializable Computation
Journal of Computer and System Sciences, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hemaspaandra, Lane A. +1 more
openaire +2 more sources
Deceit: A flexible distributed file system [PDF]
, 1989 Deceit, a distributed file system (DFS) being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability.
Birman, Kenneth +2 more
core +2 more sources
Brief Announcement: On the Correctness of Transaction Processing with External Dependency [PDF]
, 2019 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
Declarative Serializable Snapshot Isolation [PDF]
, 2011 Snapshot isolation (SI) is a popular concurrency control protocol, but it permits non-serializable schedules that violate database integrity. The Serializable Snapshot Isolation (SSI) protocol ensures (view) serializability by preventing pivot structures in SI schedules.
Tilgner, Christian +3 more
openaire +2 more sources