DBScholar

Back to papers

Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)

Summary: Sound, complete axiomatization of equivalence for domain-based transactions, characterizing algebraic interactions among inserts, deletes, and updates. From the axioms derive convergent simplification rules that enable efficient transaction optimization and guide parallel execution. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
799
Venue
PODS
Year
1987
Pagerank
5.093636e-05
Overall Rank
13,177 | 9.60%
DOI
10.1145/28659.28687

Incoming Non-self Citations Over Time

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

Authors

BibTeX Citation

@inproceedings{karabeg_pods87,
        address = {New York, NY, USA},
        series = {{PODS} '87},
        title = {{Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/28659.28687},
        doi = {10.1145/28659.28687},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Karabeg, Almira and Karabeg, Dino and Papakonstantinou, Kostoula and Vianu, Victor},
        year = {1987}
}

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

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

Rank Cited Paper Year Venue Pagerank
602 On the Semantics of Updates in Databases 1983 PODS 0.00015856828
906 A Temporal Framework for Database Specifications 1982 VLDB 0.00013310115
2,022 An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) 1983 VLDB 9.2961072e-05
6,085 Dynamic Constraints And Database Evolution 1983 PODS 5.9820991e-05
Previous Page 1 / 1 Next

Semantically Similar Papers