Deontic database constraints, violation and recovery

Studia Logica

Volumn 57, Issue 1, 1996, Pages 139-165

  Carmo, José ^a   Jones, Andrew J I ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Constraint violation; Constraints; Database integrity; Deontic logic; Recovery

Indexed keywords

EID: 9444254451     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370673     Document Type: Article

References (37)

1. BERNSTEIN, P., HADZILACOS, V. and GOODMAN, N., 1987, Concurrency Control and Recovery in Database Systems, Addison-Wesley.
2. BROWN, A. L. and MANTUA, S., 1991, Preferences as Normative Knowledge: Towards Declarative Obligations, in: Meyer, J.-J. Ch. and Wieringa, R.J. (eds.), Proc. First International Workshop on Deontic Logic in Computer Science (DEON'91), 142-163.
3. CARMO, J. and SERNADAS, A., 1991, Formal Techniques for Systems Specification and Verification, Information Systems 16, 245-272.
4. CASTILHO, J. M. V., CASANOVA, M. A. and FURTADO, A. L., 1982, A Temporal Framework for Information Systems Specification, Proc. 8th VLDB Conference, 280-291.
5. CARMO, J. and JONES, A. J. I., 1994, Deontic Database Constraints and the Characterisation of Recovery, in Jones, A. J. I. and Sergot, M. (eds.) DEON'94: Second International Workshop on Deontic Logic in Computer Science, Tano Forlag, Oslo, Norway.
6. CARMO, J. and JONES, A. J. L, 1995, Deontic Logic and Different Levels of Ideality, research report RRDMISTl/95.
7. CHISHOLM, R. M., 1963, Coutrary-to-duty Imperatives and Deontic Logic, Analysis 24.
8. DEMOLOMBE, R. and JONES, A. J. I., 1992, Deriving Answers to Safety Queries, in Cunningham, R.J. (ed.), ESPRIT Basic Research Action MEDLAR Report PPR3, Dept. of Computing, Imperial College of Science, Technology and Medicine, London.
9. DEMOLOMBE, R. and JONES, A. J. L, 1993, Integrity Constraints Revisited (Preliminary Version), in Cunningham, R.J. (ed.), ESPRIT Basic Research Action MEDLAR II Report PPR1, Dept. of Computing, Imperial College of Science, Technology and Medicine, London.
10. EHRICH, H.-D., SERNADAS, A. and SERNADAS, C., 1988, Abstract Object Types for Databases, in: Dittrich (ed.), Advances in Object-Oriented Database Systems, Springer-Verlag, 144-149.
11. FlADEIRO, J. and MAIBAUM, T. S. E., 1991, Temporal Reasoning over Deontic Specifications, Journal of Logic and Computation, 1.
12. FlADEIRO, J. and SERNADAS, A., 1988, Specification and Verification of Database Dynamics, Acta Informatica 25, 625-661.
13. F0LLESDAL, D. and HlLPlNEN, R., 1971, Deontic Logic: An Introduction, in: Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, D.Reidel, 1-35.
14. FURTADO, A. L. and NEUHOLD, E. J., 1986, Formal Technics for Data Base Design, Springer-Verlag Berlin Heidelberg.
15. GLASGOW, J., MACEWEN, G. and PANANGADEN, P., 1989, Security by Permission in Databases, in: Landwehr (ed.), Database Security II: Status and Prospects, NorthHolland, 197-205.
16. JONES, A. J. I., 1993, Towards a Formal Theory of Defeasible Deontic Conditionals, in: Meyer, J.-J. Ch. and Wieringa, R. J. (eds.), Deontic Logic in Computer Science: Annals of Mathematics and Artificial Intelligence 9.
17. JONES, A. J. I. and PORN, I., 1985, Ideality, Sub-ideality and Deontic Logic, Synthese 65, D.Reidel, 275-290.
18. JONES, A. J. I. and SERGOT, M. J., 1991, On the Role of Deontic Logic in the Characterization of Normative Systems, in: Meyer, J.-J. Ch. and Wieringa, R. J. (eds.), Proc. First International Workshop on Deontic Logic in Computer Science (DEON'91), 248-261.
19. JONES, A. J. I. and SERGOT, M. J., 1992, Formal Specification of Security Requirements Using the Theory of Normative Positions, in: Deswarte, Y. et al. (eds.), Computer Security - ESORICS 92: Springer Lecture Notes in Computer Science 648, Springer-Verlag, Berlin.
20. JONES, A. J. I. and SERGOT, M. J., 1993, On the Characterisation of Law and Computer Systems: The Normative Systems Perspective, ch. 12 in J.-J. Ch. Meyer and R. J. Wieringa, eds., Deontic Logic in Computer Science: Normative System Specification, John Wiley and Sons, Chichester.
21. KHOSLA, S. and MAIBAUM, T. S. E., 1987, The Prescription and Description of State Based Systems, in: Banieqbal, B., Barringer, H. and Pnueli, A. (eds.), Temporal Logic in Specification, Springer (Lecture Notes in Computer Science 398), 243-294.
22. KHOSLA, S., 1988, System Specification: A Deontic Approach, PhD Thesis, Dept. of Computing, Imperial College of Science, Technology and Medicine, London.
23. KORTH, H., LEVY, E. and SILBERSCHATZ, A., 1990, A Formal Approach to Recovery by Compensating Transactions, Proc. Int. Conf. Very Large Databases.
24. KUNG, C., 1984, A Temporal Framework for Information Systems Specification and Verification, Ph. D. thesis, Norwegian Institute of Technology.
25. KWAST, K. L., 1991, A Deontic Operator for Database Integrity, in: Meyer, J.-J. Ch. and Wieringa, R.J. (eds.), Proc. First International Workshop on Deontic Logic in Computer Science (DEON'91), 262-280.
26. LIPECK, U. W., EHRICH, H. D. and GOGOLLA, M., 1985, Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic, in: Sernadas, A., Bubenko, J. and Olive, A. (eds.), Theoretical and Formai Aspects of Information Systems 1985, North-Holland, 145-157.
27. McCARTY, L. T., 1986, Permissions and Obligations: An Informal Introduction, in: Martino, A.A. and Cocci, F. (eds.), Automated Analysis of Legal Texts, NothHolland, Amsterdam, 307-337.
28. MEYER, J.-J. GH., 1988, A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic, Notre Dame Journal of Formal Logic 29, 109-136.
29. 1991, Normatics: The Characterization of Computer Systems and Complex Organizations as Normative Systems, ESPRIT III BRA proposal.
30. SERGOT, M. J., 1982, Prospects for Representing the Law as Logic Programs, in: Clark, K.L. and Tarnlund, S.-A. (eds.), Logic Programming, Academic Press, London.
31. SERNADAS, A. and SERNADAS, C., 1985, Capturing Knowledge About the Organization Dynamics, in: Methlie, L.B. and Sprague, R. (eds.), Knowledge Representation for DDS, North-Holland, 225-267.
32. SERNADAS, A., SERNADAS, C. and EHRICH, H.-D., 1987, Object-Oriented Specification of Databases: An Algebraic Approach, in: Hammersley, P. (ed.), Proc. of the 13th VLDB Conference, Morgan Kaufmann, 107-116.
33. SNOGRASS, R., 1990, Temporal Databases: Status and Research Directions, SIGMOD RecordlQ, 83-89.
34. SNOGRASS, R. and AHN, I., 1986, Temporal Databases, Computer 19, 35-42.
35. WIERINGA, R. J. and MEYER, J.-J. CH., 1991, Applications of Deontic Logic in Computer Science: A Concise Overview, in: Meyer, J.-J. Ch. and Wieringa, R. J. (eds.), Proc. First International Workshop on Deontic Logic in Computer Science (DEON'91), 15-41.
36. WlERINGA, R. J., MEYER, J.-J. CH. and WEIGAND, H., 1989, Specifying Dynamic and Deontic Integrity Constraints, Data and Knowledge Engineering 4, 157-189.
37. WIERINGA, R. J., WEIGAND, H., MEYER, J.-J. CH. and DIGNUM, F., 1991, The Inheritance of Dynamic and Deontic Integrity Constraints, Annals of Mathematics and Artificial Intelligence 3, 393-428.