On the public citation graph

Correct execution of transactions at different isolation levels

https://doi.org/10.1109/tkde.2004.34

0 signed · 46 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot

The Science of Programming

inferredcites →https://doi.org/10.1007/978-94-010-0413-8openalex-snapshot

Proof and System-Reliability

inferredcites →https://doi.org/10.1007/978-94-010-0413-8_11openalex-snapshot

Hoare Logics in Isabelle/HOL

inferredcites →https://doi.org/10.1007/bf00122147openalex-snapshot

Transaction decomposition using transaction semantics

inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot

An axiomatic proof technique for parallel programs I

inferredcites →https://doi.org/10.1016/0022-0000(82)90013-7openalex-snapshot

Expressiveness and the completeness of Hoare's logic

inferredcites →https://doi.org/10.1016/s0306-4379(00)00004-1openalex-snapshot

Concurrency control for step-decomposed transactions

inferredcites →https://doi.org/10.1109/icde.1998.655806openalex-snapshot

Design and performance of an assertional concurrency control system

inferredcites →https://doi.org/10.1109/icde.2000.839387openalex-snapshot

Semantic conditions for correctness at different isolation levels

inferredcites →https://doi.org/10.1126/science.211.4482.556openalex-snapshot

Beryllium Report Disputed by Listed Author

inferredcites →https://doi.org/10.1137/0207005openalex-snapshot

Soundness and Completeness of an Axiom System for Program Verification

inferredcites →https://doi.org/10.1145/223784.223785openalex-snapshot

A critique of ANSI SQL isolation levels

inferredcites →https://doi.org/10.1145/357146.357150openalex-snapshot

Ten Years of Hoare's Logic: A Survey—Part I

inferredcites →https://doi.org/10.1145/360363.360369openalex-snapshot

The notions of consistency and predicate locks in a database system

inferredcites →https://doi.org/10.5860/choice.42-4069openalex-snapshot

Logic in computer science: modelling and reasoning about systems

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/ima.20063openalex-snapshot

Classification of leaf images

inferred← citeshttps://doi.org/10.1002/nem.2293openalex-snapshot

DELTA: A Modular, Transparent, and Efficient Synchronization of DLTs and Databases

inferred← citeshttps://doi.org/10.1007/11864219_20openalex-snapshot

A Lazy Snapshot Algorithm with Eager Validation

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_346openalex-snapshot

Snapshot Isolation

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_346-2openalex-snapshot

Snapshot Isolation

inferred← citeshttps://doi.org/10.1007/978-3-319-14720-8_4openalex-snapshot

Disjoint-Access Parallelism in Software Transactional Memory

inferred← citeshttps://doi.org/10.1007/s00224-010-9304-5openalex-snapshot

Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory

inferred← citeshttps://doi.org/10.1007/s00446-015-0261-8openalex-snapshot

Universal constructions that ensure disjoint-access parallelism and wait-freedom

inferred← citeshttps://doi.org/10.1056/nejm195507142530212openalex-snapshot

Hobgoblin of Little Minds

inferred← citeshttps://doi.org/10.1109/aiccsa.2015.7507103openalex-snapshot

Serializable use of Read Committed isolation level

inferred← citeshttps://doi.org/10.1109/csew.2008.61openalex-snapshot

Managing Complexity in Open Adaptive Middleware

inferred← citeshttps://doi.org/10.1109/icde.2006.162openalex-snapshot

Transaction Time Support Inside a Database Engine

inferred← citeshttps://doi.org/10.1109/icde.2018.00137openalex-snapshot

Polygraph: A Plug-n-Play Framework to Quantify Anomalies

inferred← citeshttps://doi.org/10.1109/scc.2011.121openalex-snapshot

A Granular Concurrency Control for Collaborative Scientific Workflow Composition

inferred← citeshttps://doi.org/10.1109/tkde.2019.2939520openalex-snapshot

Polygraph: A Plug-n-Play Framework to Quantify Application Anomalies

inferred← citeshttps://doi.org/10.1109/tsc.2012.13openalex-snapshot

Confucius: A Tool Supporting Collaborative Scientific Workflow Composition

inferred← citeshttps://doi.org/10.1109/tsmcc.2008.919184openalex-snapshot

The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions

inferred← citeshttps://doi.org/10.1145/1376780.1376784openalex-snapshot

Promoting levels of openness on component-based adaptable middleware

inferred← citeshttps://doi.org/10.1145/1583991.1584015openalex-snapshot

Inherent limitations on disjoint-access parallel implementations of transactional memory

inferred← citeshttps://doi.org/10.1145/2837614.2837625openalex-snapshot

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

inferred← citeshttps://doi.org/10.1145/2914770.2837625openalex-snapshot

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

inferred← citeshttps://doi.org/10.1145/3035918.3064037openalex-snapshot

ACIDRain

inferred← citeshttps://doi.org/10.1145/3290387openalex-snapshot

Hamsaz: replication coordination analysis and synthesis

inferred← citeshttps://doi.org/10.1145/3453483.3454028openalex-snapshot

Repairing serializability bugs in distributed database programs via automated schema refactoring

inferred← citeshttps://doi.org/10.1145/3720513openalex-snapshot

Peepco: Batch-Based Consistency Optimization

inferred← citeshttps://doi.org/10.14778/2735508.2735509openalex-snapshot

Coordination avoidance in database systems

inferred← citeshttps://doi.org/10.14778/3476249.3476268openalex-snapshot

Robustness against read committed for transaction templates

inferred← citeshttps://doi.org/10.1504/ijcat.2009.026592openalex-snapshot

Feature string-based intelligent information retrieval from Tamil document images

inferred← citeshttps://doi.org/10.1504/ijcse.2010.037678openalex-snapshot

Speculation-based protocols for improving the performance of read-only transactions

inferred← citeshttps://doi.org/10.47749/t/unicamp.2008.440984openalex-snapshot

Serviços de transação abertos para ambientes dinamicos

inferred← citeshttps://doi.org/10.48550/arxiv.1402.2237openalex-snapshot

Coordination Avoidance in Database Systems (Extended Version)

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.