DBScholar

Back to papers

Correctness in General Configurations of Transactional Components

Summary: Introduces a correctness criterion for composite transactional systems where independently managed components can be arbitrarily composed. Presents a novel proof technique to verify correctness in arbitrary configurations and analyzes concurrency-control implications for distributed transaction management. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1181
Venue
PODS
Year
1999
Pagerank
-
Overall Rank
14,121 | 3.12%
DOI
10.1145/303976.304004

Incoming Non-self Citations Over Time

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

Authors

BibTeX Citation

@inproceedings{alonso_pods99,
        address = {New York, NY, USA},
        series = {{PODS} '99},
        title = {{Correctness in General Configurations of Transactional Components}},
        url = {https://dl.acm.org/doi/10.1145/303976.304004},
        doi = {10.1145/303976.304004},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Alonso, Gustavo and Fessler, Armin and Pardon, Guy and Schek, Hans-Jörg},
        year = {1999}
}

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 1 of 1 cited papers.

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

Rank Cited Paper Year Venue Pagerank
12,952 Correctness and Parallelism in Composite Systems 1997 PODS 5.093636e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 9,762 A Theory of Timestamp-Based Concurrency Control for Nested Transactions 1988 VLDB
2 2,450 Formal Model of Correctness Without Serializability 1988 SIGMOD
3 2,439 The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis 2015 SIGMOD
4 13,115 A Serialization Graph Construction for Nested Transactions 1990 PODS
5 3,384 Towards a Unified Theory of Concurrency Control and Recovery 1993 PODS
6 14,502 A Framework for Understanding Distributed (Deadlock Detection) Algorithms 1983 PODS
7 14,533 Transactions Modeling 1982 SIGMOD
8 9,097 On Correctness of Non-serializable Executions 1993 PODS
9 12,900 Concurrency Control and Recovery in Transactional Process Management 1999 PODS
10 12,952 Correctness and Parallelism in Composite Systems 1997 PODS