Results 11 to 20 of about 14,769 (187)
Modular verification of chemical reaction network encodings via serializability analysis. [PDF]
Theor Comput Sci, 2016 Lakin MR, Stefanovic D, Phillips A.
europepmc +2 more sources
Serializability with constraints
ACM Transactions on Database Systems, 1987 This paper deals with the serializability theory for single-version and multiversion database systems. We first introduce the concept of disjoint-interval topological sort ( DITS , for short) of an arc-labeled directed acyclic graph.
Tiko Kameda +2 more
openaire +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
openaire +4 more sources
Transaction Repair: Full Serializability Without Locks [PDF]
arXiv, 2014 Transaction Repair is a method for lock-free, scalable transaction processing that achieves full serializability. It demonstrates parallel speedup even in inimical scenarios where all pairs of transactions have significant read-write conflicts. In the transaction repair approach, each transaction runs in complete isolation in a branch of the database ...
arxiv +3 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
Blockchain technologies as enablers of supply chain mapping for sustainable supply chains
Business Strategy and the Environment, Volume 31, Issue 8, Page 3742-3756, December 2022., 2022 Abstract The advent of blockchain technologies is transmuting the way conventional supply chains are being managed. Due to the complexity of dealing with many actors involved in the supply chain networks, contemporary supply chains have limited visibility, transparency, and accountability.
Sharfuddin Ahmed Khan +5 more
wiley +1 more source
Metal‐organic framework derived porous structures towards lithium rechargeable batteries
EcoMat, Volume 5, Issue 2, February 2023., 2023 In this review, we discuss the characteristics of metal‐organic frameworks (MOFs) applied to lithium storage devices containing Li‐ion, Li‐sulfur, Li‐metal, and Li‐O2. We summarize the origin, nomenclature, and synthesis method of MOFs, and report on recent studies in which MOFs and MOF‐derived materials are applied to lithium rechargeable batteries ...
Sang A Han +4 more
wiley +1 more source
Archaeometry, Volume 65, Issue 1, Page 105-117, February 2023., 2023 Abstract Glazed ceramics are a common material analyzed through geochemistry, whether in the form of tableware collected during excavations or tiles observed as part of architectural features. Within the framework of these studies, measuring the thickness of the transparent glaze is one of the useful variables available for the characterization of the ...
Corentin Cou +2 more
wiley +1 more source