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)
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 |
|---|
Previous
Page 1 / 1
Next
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 |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,036 | Consistency, Concurrency, And Crash Recovery | 1978 | SIGMOD | 5.2415551e-05 |
| 14,249 | Safety Of Non-Well-Locked Transaction Systems | 1986 | PODS | - |
| 862 | Implementing Recoverable Requests Using Queues | 1990 | SIGMOD | 0.00015845857 |
| 5,011 | A Cost-Effective Method for Providing Improved Data Availability During DBMS Restart Recovery After a Failure | 1993 | VLDB | 5.7602438e-05 |
| 7,272 | Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems | 1992 | PODS | 4.7811016e-05 |
| 8,332 | Triggered Real-Time Databases with Consistency Constraints | 1990 | VLDB | 4.5435639e-05 |
| 1,175 | An Operational Model For Database System Reliability | 1983 | PODS | 0.0001347854 |
| 6,825 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9143895e-05 |
| 12,899 | A Proclamation-Based Model for Cooperating Transactions | 1992 | VLDB | 4.1945683e-05 |
| 1,104 | Deadlock Removal Using Partial Rollback in Database Systems | 1981 | SIGMOD | 0.00014012968 |