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: 2289
Venue: SIGMOD
Year: 1985
Pagerank: -
Overall Rank: 14,286 | 0.72%
DOI: -

Incoming Non-self Citations Over Time

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

Authors

1. Shridhar Acharya
2. Gael Buckley

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	Pagerank
13,033	Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems	1985	VLDB	4.1905499e-05
14,263	Safety Of Non-Well-Locked Transaction Systems	1986	PODS	-
859	Implementing Recoverable Requests Using Queues	1990	SIGMOD	0.00015821352
4,998	A Cost-Effective Method for Providing Improved Data Availability During DBMS Restart Recovery After a Failure	1993	VLDB	5.7647393e-05
8,867	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.4278616e-05
1,176	An Operational Model For Database System Reliability	1983	PODS	0.00013485333
8,325	Triggered Real-Time Databases with Consistency Constraints	1990	VLDB	4.5392079e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
12,909	A Proclamation-Based Model for Cooperating Transactions	1992	VLDB	4.1905499e-05
1,103	Deadlock Removal Using Partial Rollback in Database Systems	1981	SIGMOD	0.00014004212