Dynamic Constraints and Database Evolution.

@inproceedings{DBLP:conf/pods/Vianu83,
  author    = {Victor Vianu},
  title     = {Dynamic Constraints and Database Evolution},
  booktitle = {Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel,
               Atlanta, Georgia},
  publisher = {ACM},
  year      = {1983},
  isbn      = {0-89791-097-4},
  pages     = {389-399},
  ee        = {http://doi.acm.org/10.1145/588058.588105, db/conf/pods/Vianu83.html},
  crossref  = {DBLP:conf/pods/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1983 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[Bro]

Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX

[CaFu]

...

[CoCaFu]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[CePBra]

Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Structured methodology for designing static and dynamic aspects of data base applications. Inf. Syst. 6(1): 31-45(1981) BibTeX

[ClW]

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX

[DeAZ]

Valeria De Antonellis, Bruna Zonta: Modelling Events a Data Base Application Design. VLDB 1981: 23-31 BibTeX

[Da]

...

[F]

Ronald Fagin: Horn Clauses and Database Dependencies (Extended Abstract). STOC 1980: 123-134 BibTeX

[G]

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX

[HaM]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[HuYap]

Richard Hull, Chee-Keng Yap: The Format Model: A Theory of Database Organization. PODS 1982: 205-211 BibTeX

[NYaz]

...

[S]

Nicolas Spyratos: An Operational Approach to Data Bases. PODS 1982: 212-220 BibTeX

[Ul]

...

[V]

...

Referenced by

1. Bernhard Thalheim: State-Conditioned Semantics in Databases. ER 1994: 171-188
2. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
3. Klaus Hülsmann, Gunter Saake: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. EDBT 1990: 378-392
4. Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22(1988)
5. Xiaolei Qian, Richard J. Waldinger: A Transaction Logic for Database Specification. SIGMOD Conference 1988: 243-250
6. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
7. L. Edwin McKenzie, Richard T. Snodgrass: Extending the Relational Algebra to Support Transaction Time. SIGMOD Conference 1987: 467-478
8. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
9. Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268
10. Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204
11. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
12. Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984: 214-220