Actor-Oriented Specification of Deontic Integrity Constraints.

@inproceedings{DBLP:conf/mfdbs/WieringaM91,
  author    = {Roel Wieringa and
               John-Jules Ch. Meyer},
  editor    = {Bernhard Thalheim and
               J{\'a}nos Demetrovics and
               Hans-Detlef Gerhardt},
  title     = {Actor-Oriented Specification of Deontic Integrity Constraints},
  booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
               and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  year      = {1991},
  isbn      = {3-540-54009-1},
  pages     = {89-103},
  ee        = {db/conf/mfdbs/WieringaM91.html},
  crossref  = {DBLP:conf/mfdbs/91},
  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

[1]

Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. Data Knowl. Eng. 5: 263-287(1990) BibTeX

[2]

...

[3]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[4]

Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990) BibTeX

[5]

...

[6]

...

[7]

...

[8]

...

[9]

José Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395(1991) BibTeX

[10]

...

[11]

Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231 BibTeX

[12]

Joseph A. Goguen, José Meseguer: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273(1992) BibTeX

[13]

...

[14]

...

[15]

C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall 1985, ISBN 0-13-153271-5
BibTeX

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

...

[22]

...

[23]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX

[24]

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

[25]

Ron van der Meyden: The Dynamic Logic of Permission. LICS 1990: 72-78 BibTeX

[26]

...

[27]

...

[28]

...

[29]

John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366 BibTeX

[30]

George Milne, Robin Milner: Concurrent Processes and Their Syntax. J. ACM 26(2): 302-321(1979) BibTeX

[31]

...

[32]

...

[33]

Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. Ann. Math. Artif. Intell. 3(2-4): 393-428(1991) BibTeX

[34]

Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189(1989) BibTeX

[35]

...

[36]

Roel Wieringa: Equational Specification of Dynamic Objects. DS-4 1990: 415-438 BibTeX

[37]

...