A Specification Language for Static, Dynamic and Deontic Integrity Constraints.

@inproceedings{DBLP:conf/mfdbs/MeyerWW89,
  author    = {John-Jules Ch. Meyer and
               Hans Weigand and
               Roel Wieringa},
  editor    = {J{\'a}nos Demetrovics and
               Bernhard Thalheim},
  title     = {A Specification Language for Static, Dynamic and Deontic Integrity
               Constraints},
  booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
               Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {364},
  year      = {1989},
  isbn      = {3-540-51251-9},
  pages     = {347-366},
  ee        = {db/conf/mfdbs/MeyerWW89.html},
  crossref  = {DBLP:conf/mfdbs/89},
  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-2 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

[Andersion 1967]

...

[Dignum et al. 1987]

Frank Dignum, T. Kemme, W. Kreuzen, Hans Weigand, Reind P. van de Riet: Constraint Modelling Using a Conceptual Prototyping Language. Data Knowl. Eng. 2: 213-254(1987) BibTeX

[Ehrich et al. 1984]

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX

[Etherington 1988]

...

[Fiadeiro and Sernadas 1988]

José Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. Acta Inf. 25(6): 625-661(1988) BibTeX

[Griethyawn 1982]

...

[Harel 1984]

...

[Hilpinen 1988a]

...

[Hilpinen 1988b]

...

[Hospers 1953]

...

[Hughes and Cresswell 1968]

...

[Huisjes 1981]

...

[Kung 1985]

...

[Lee 1988]

Ronald M. Lee: Bureaucracies as Deontic Systems. ACM Trans. Inf. Syst. 6(2): 87-108(1988) BibTeX

[Lipeck 1986]

Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX

[Lipeck and Saake 1987]

Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX

[Lloyd 1984]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX

[Lloyd et al. 1987]

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

[McArthur 1981]

...

[Meyer 1987]

...

[Meyer 1988]

...

[Meyer to appear]

...

[Moser 1987]

...

[Munitz 1981]

...

[Nicolas 1982]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[Nicolas and Gallaire 1978]

Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54 BibTeX

[Nicolas and Yazdanian 1978]

Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 BibTeX

[Reiter 1984]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

[Reiter 1988]

...

[Sernadas 1980]

Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX

[Weber et al. 1983]

Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983) BibTeX

[Wieringa and de Riet 1988]

Roel Wieringa, Reind P. van de Riet: Algebraic Specification of Object Dynamics in Knowledge Base Domains. DS-3 1988: 411-436 BibTeX

[Wright 1963]

...

Referenced by

1. Roel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
2. Paul Johannesson: MOLOC: Using Prolog for Conceptual Modelling. ER 1990: 301-314