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,781 | A Transaction Language Complete for Database Update and Specification | 1987 | PODS | 9.657754e-05 |
| 2,723 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.0732695e-05 |
| 5,105 | Transactions And Integrity Constraints | 1985 | PODS | 6.2611181e-05 |
| 5,763 | Extending the Relational Algebra to Support Transaction Time | 1987 | SIGMOD | 5.9840569e-05 |
| 7,618 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 5.4666793e-05 |
| 10,135 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.0614501e-05 |
| 13,514 | Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) | 1987 | PODS | 4.9605343e-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 |
|---|---|---|---|---|
| 437 | The Format Model: A Theory of Database Organization (extended abstract) | 1982 | PODS | 0.00018259668 |
| 936 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.0001296261 |
| 4,177 | An Operational Approach To Data Bases | 1982 | PODS | 6.7485355e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,334 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD |
| 2 | 5,105 | Transactions And Integrity Constraints | 1985 | PODS |
| 3 | 5,235 | A Temporal Framework for Database Specification and Verification | 1984 | VLDB |
| 4 | 13,508 | On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies | 1987 | PODS |
| 5 | 13,521 | Independent Database Schemes Under Functional and Inclusion Dependencies | 1987 | VLDB |
| 6 | 4,194 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS |
| 7 | 936 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 8 | 6,343 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD |
| 9 | 4,355 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 10 | 10,133 | Object Projection Views In The Dynamic Relational Model | 1984 | PODS |