DBScholar

Back to papers

A semantic approach to correctness of concurrent transaction executions

Summary: Introduces 'independence', a semantic correctness notion capturing integrity-constraint violations, inconsistent outputs, and racing. Proves linear constraints plus linear-action semantics admit only serializable schedules; with restricted actions, identifies a verifiable weakly-serializable (order-2) class. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
722
Venue
PODS
Year
1985
Pagerank
5.093636e-05
Overall Rank
13,209 | 9.38%
DOI
10.1145/325405.325416

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{tuzhilin_pods85,
        address = {New York, NY, USA},
        series = {{PODS} '85},
        title = {{A semantic approach to correctness of concurrent transaction executions}},
        url = {https://dl.acm.org/doi/10.1145/325405.325416},
        doi = {10.1145/325405.325416},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Tuzhilin, Alexander and Spirakis, Paul},
        year = {1985}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
695 An Optimality Theory of Concurrency Control for Databases 1979 SIGMOD 0.00014910218
1,189 Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network 1982 PODS 0.00011749508
Previous Page 1 / 1 Next

Semantically Similar Papers