Verifiable Properties of Database Transactions
Summary: Proves some transactions lack first-order weakest preconditions (WPs) and that the class of WP-admitting transactions cannot be captured by any transaction language. Introduces local vs. robust verifiability and shows robust FO verifiability exactly equals the local form, with implications for verifiable transaction-language design. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Michael Benedikt
- 2. Timothy Griffin
- 3. Leonid Libkin
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,207 | BlockchainDB - A Shared Database on Blockchains | 2019 | VLDB | 0.00013277133 |
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 2,726 | A Framework for Implementing Hypothetical Queries | 1997 | SIGMOD | 8.2245669e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,741 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010714223 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |
| 4,532 | On the Modes and Meaning of Feedback to Transaction Designers | 1987 | SIGMOD | 6.1072875e-05 |
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 7,782 | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions | 1994 | PODS | 4.6523963e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,916 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010101977 |
| 8,269 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5455963e-05 |
| 9,816 | Deciding Robustness for Lower SQL Isolation Levels | 2020 | PODS | 4.2783272e-05 |
| 8,941 | On Correctness of Non-serializable Executions | 1993 | PODS | 4.427232e-05 |
| 11,327 | Robustness Against Read Committed: A Free Transactional Lunch | 2022 | PODS | 4.1945683e-05 |
| 4,532 | On the Modes and Meaning of Feedback to Transaction Designers | 1987 | SIGMOD | 6.1072875e-05 |
| 10,299 | Fast Verification of Strong Database Isolation | 2026 | VLDB | 4.1945683e-05 |
| 13,033 | Specification and Verification of Abstract Database Types | 1984 | PODS | 4.1945683e-05 |
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 6,825 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9143895e-05 |