State-Conditioned Semantics in Databases.

@inproceedings{DBLP:conf/er/Thalheim94,
  author    = {Bernhard Thalheim},
  editor    = {Pericles Loucopoulos},
  title     = {State-Conditioned Semantics in Databases},
  booktitle = {Entity-Relationship Approach - ER'94, Business Modelling and
               Re-Engineering, 13th International Conference on the Entity-Relationship
               Approach, Manchester, U.K., December 13-16, 1994, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {881},
  year      = {1994},
  isbn      = {3-540-58786-1},
  pages     = {171-188},
  ee        = {db/conf/er/Thalheim94.html},
  crossref  = {DBLP:conf/er/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-1 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
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AbV85]

Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204 BibTeX

[AbV88]

Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 BibTeX

[BOT90]

...

[CeW90]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX

[Das92]

...

[Dec87]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX

[Elm92]

Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX

[FPT92]

Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases. FMLDO 1992: 153-173 BibTeX

[GrR93]

Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents BibTeX

[KSS87]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[Lip89]

...

[LST87]

John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987) BibTeX

[Mil89]

...

[PDG89]

Jan Paredaens, Paul De Bra, Marc Gyssens, Dirk Van Gucht: The Structure of the Relational Database Model. Springer 1989, ISBN 3-540-13714-9
BibTeX

[Sch77]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[ScT93]

Klaus-Dieter Schewe, Bernhard Thalheim: Fundamental Concepts of Object Oriented Databases. Acta Cybern. 11(1-2): 49-84(1993) BibTeX

[Smi78]

John Miles Smith: A Normal Form for Abstract Syntax. VLDB 1978: 156-162 BibTeX

[STS92]

Klaus-Dieter Schewe, Bernhard Thalheim, Joachim W. Schmidt, Ingrid Wetzel: Integrity Enforcement in Object-Oriented Databases. FMLDO 1992: 174-195 BibTeX

[Tha92]

...

[Tha92']

Bernhard Thalheim: Fundamentals of Cardinality Constraints. ER 1992: 7-23 BibTeX

[Tha93]

...

[Tha94]

...

[Via83]

Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399 BibTeX

[Via87]

Victor Vianu: Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59(1987) BibTeX

[ZhH90]

Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 BibTeX

Referenced by

1. Thomas Feyer, Klaus-Dieter Schewe, Bernhard Thalheim: Conceptual Design and Development of Information Services. ER 1998: 7-20
2. Terry A. Halpin, Henderik Alex Proper: Database Schema Transformation and Optimization. OOER 1995: 191-203