Data Sharing Analysis for a Database Programming Language via Abstract Interpretation
Summary: Uses abstract interpretation to derive finite, conservative read/write-set approximations for persistent-language transactions from code and database state. The analysis enables safe operation interleaving and conservative two-phase locking in a Galileo subset. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Giuseppe Amato (National Research Council of Italy (CNUCE Institute))
- 2. Fosca Giannotti (National Research Council of Italy (CNUCE Institute))
- 3. Gianni Mainetto (National Research Council of Italy (CNUCE Institute))
BibTeX Citation
@article{amato_vldb93,
title = {{Data Sharing Analysis for a Database Programming Language via Abstract Interpretation}},
author = {Amato, Giuseppe and Giannotti, Fosca and Mainetto, Gianni},
journal = {PVLDB},
series = {{VLDB} '93},
pages = {405},
year = {1993}
}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 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 667 | A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems | 1990 | VLDB | 0.00015166269 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 2,439 | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 2015 | SIGMOD |
| 2 | 13,021 | Relative Serializability: An Approach for Relaxing the Atomicity of Transactions | 1994 | PODS |
| 3 | 9,025 | Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems | 1992 | PODS |
| 4 | 5,837 | Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation | 1993 | VLDB |
| 5 | 9,097 | On Correctness of Non-serializable Executions | 1993 | PODS |
| 6 | 12,843 | Lightweight Flexible Isolation for Language-based Extensible Systems | 2002 | VLDB |
| 7 | 13,183 | Constructing Database Systems in a Persistent Environment | 1987 | VLDB |
| 8 | 10,893 | Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs | 2025 | VLDB |
| 9 | 12,976 | Static Analysis of Intensional Databases in U-Datalog | 1996 | PODS |
| 10 | 8,569 | The Power of Methods With Parallel Semantics | 1991 | VLDB |