Actor-Oriented Specification of Deontic Integrity Constraints.
Roel Wieringa, John-Jules Ch. Meyer:
Actor-Oriented Specification of Deontic Integrity Constraints.
MFDBS 1991: 89-103@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}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
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]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:29:39 2009