Dynamic Constraints And Database Evolution
Summary: Adds 'dynamic' fd analogs to the relational model to constrain global updates, modeling a database as a time-sequence of instances evolving by updates/inserts/deletes. Analyzes interaction of static fd's and dynamic constraints via age/age-closure (past) and survivability/survivability-closure (future) to characterize admissible evolution. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Victor Vianu (University of Southern California)
BibTeX Citation
@inproceedings{vianu_pods83,
address = {New York, NY, USA},
series = {{PODS} '83},
title = {{DYNAMIC CONSTRAINTS AND DATABASE EVOLUTION}},
url = {https://dl.acm.org/doi/10.1145/588058.588105},
doi = {10.1145/588058.588105},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Vianu, Victor},
year = {1983}
}Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,726 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 9.9156202e-05 |
| 2,653 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.2898925e-05 |
| 4,962 | Transactions And Integrity Constraints | 1985 | PODS | 6.4273819e-05 |
| 5,632 | Extending the Relational Algebra to Support Transaction Time | 1987 | SIGMOD | 6.1421602e-05 |
| 7,452 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 5.6133619e-05 |
| 9,910 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.1972596e-05 |
| 13,177 | Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) | 1987 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 421 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00018742219 |
| 906 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.00013310115 |
| 4,068 | An Operational Approach To Data Bases | 1982 | PODS | 6.9277878e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,190 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD |
| 2 | 4,962 | Transactions And Integrity Constraints | 1985 | PODS |
| 3 | 5,081 | A Temporal Framework for Database Specification and Verification | 1984 | VLDB |
| 4 | 13,171 | On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies | 1987 | PODS |
| 5 | 13,184 | Independent Database Schemes Under Functional and Inclusion Dependencies | 1987 | VLDB |
| 6 | 4,094 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS |
| 7 | 906 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 8 | 6,196 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD |
| 9 | 4,242 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 10 | 9,908 | Object Projection Views In The Dynamic Relational Model | 1984 | PODS |