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
hdc8b0cfb2866d51d
Venue
PODS
Year
1985
Pagerank
4.9769913e-05
Overall Rank
13,505 | 9.24%
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.

Previous Page 1 / 1 Next

Semantically Similar Papers