Transaction Restarts in Prolog Database Systems

Summary: Restarting failed transactions from intermediate, consistent states instead of aborting to full reexecution; reduces wasted computation. Introduces state and consistent-state notions, and demonstrates a Prolog-based restart-from-state implementation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2350
Venue: SIGMOD
Year: 1985
Pagerank: -
Overall Rank: 14,473 | 0.71%
DOI: 10.1145/318898.318986

Incoming Non-self Citations Over Time

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

Authors

1. Shridhar Acharya (State University of New York at Stony Brook)
2. Gael Buckley (State University of New York at Stony Brook)

BibTeX Citation

@inproceedings{acharya_sigmod85,
        title = {{Transaction Restarts in Prolog Database Systems}},
        author = {Acharya, Shridhar and Buckley, Gael},
        series = {{SIGMOD} '85},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/318898.318986},
        url = {https://dl.acm.org/doi/10.1145/318898.318986},
        year = {1985}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,992	Consistency, Concurrency, And Crash Recovery	1978	SIGMOD
2	14,450	Safety Of Non-Well-Locked Transaction Systems	1986	PODS
3	1,127	Implementing Recoverable Requests Using Queues	1990	SIGMOD
4	5,375	A Cost-Effective Method for Providing Improved Data Availability During DBMS Restart Recovery After a Failure	1993	VLDB
5	9,025	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
6	8,563	Triggered Real-Time Databases with Consistency Constraints	1990	VLDB
7	2,751	An Operational Model For Database System Reliability	1983	PODS
8	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
9	13,093	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB
10	4,397	Deadlock Removal Using Partial Rollback in Database Systems	1981	SIGMOD