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,209 | BlockchainDB - A Shared Database on Blockchains | 2019 | VLDB | 0.00013264286 |
| 1,931 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.0001005178 |
| 2,730 | A Framework for Implementing Hypothetical Queries | 1997 | SIGMOD | 8.217357e-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,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |
| 4,530 | On the Modes and Meaning of Feedback to Transaction Designers | 1987 | SIGMOD | 6.105111e-05 |
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 7,782 | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions | 1994 | PODS | 4.6479178e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,920 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 0.00010092077 |
| 8,265 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5412367e-05 |
| 9,815 | Deciding Robustness for Lower SQL Isolation Levels | 2020 | PODS | 4.2742278e-05 |
| 8,945 | On Correctness of Non-serializable Executions | 1993 | PODS | 4.4229886e-05 |
| 11,329 | Robustness Against Read Committed: A Free Transactional Lunch | 2022 | PODS | 4.1905499e-05 |
| 4,530 | On the Modes and Meaning of Feedback to Transaction Designers | 1987 | SIGMOD | 6.105111e-05 |
| 10,311 | Fast Verification of Strong Database Isolation | 2026 | VLDB | 4.1905499e-05 |
| 13,044 | Specification and Verification of Abstract Database Types | 1984 | PODS | 4.1905499e-05 |
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 6,824 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9096742e-05 |