{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:39Z","timestamp":1761611139610},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00370673","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:07:37Z","timestamp":1099440457000},"page":"139-165","source":"Crossref","is-referenced-by-count":15,"title":["Deontic database constraints, violation and recovery"],"prefix":"10.1007","volume":"57","author":[{"given":"Jos\ufffd","family":"Carmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J. I.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bernstein, P., Hadzilacos, V. and Goodman, N., 1987, Concurrency Control and Recovery in Database Systems, Addison-Wesley."},{"key":"CR2","unstructured":"Brown, A. L. and Mantha, 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."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0306-4379(91)90001-P","volume":"16","author":"J. Carmo","year":"1991","unstructured":"Carmo, J. and Sernadas, A., 1991, ?Formal Techniques for Systems Specification and Verification?, Information Systems 16, 245?272.","journal-title":"Information Systems"},{"key":"CR4","unstructured":"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."},{"key":"CR5","volume-title":"Deontic Database Constraints and the Characterisation of Recovery","author":"J. Carmo","year":"1994","unstructured":"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."},{"key":"CR6","unstructured":"Carmo, J. and Jones, A. J. I., 1995, ?Deontic Logic and Different Levels of Ideality?, research report RRDMIST1\/95."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Chisholm, R. M., 1963, ?Contrary-to-duty Imperatives and Deontic Logic?, Analysis 24.","DOI":"10.1093\/analys\/24.2.33"},{"key":"CR8","volume-title":"ESPRIT Basic Research Action MEDLAR Report PPR3","author":"R. Demolombe","year":"1992","unstructured":"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."},{"key":"CR9","volume-title":"ESPRIT Basic Research Action MEDLAR II Report PPR1","author":"R. Demolombe","year":"1993","unstructured":"Demolombe, R. and Jones, A. J. I, 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."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-50345-5_10"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J. and Maibaum, T. S. E., 1991, ?Temporal Reasoning over Deontic Specifications?, Journal of Logic and Computation, 1.","DOI":"10.1093\/logcom\/1.3.357"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/BF00291052","volume":"25","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J. and Sernadas, A., 1988, ?Specification and Verification of Database Dynamics?, Acta Informatica 25, 625?661.","journal-title":"Acta Informatica"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"F\u00f8llesdal, D. and Hilpinen, R., 1971, ?Deontic Logic: An Introduction?, in: Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, D.Reidel, 1?35.","DOI":"10.1007\/978-94-010-3146-2_1"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70592-2","volume-title":"Formal Technics for Data Base Design","author":"A. L. Furtado","year":"1986","unstructured":"Furtado, A. L. and Neuhold, E. J., 1986, Formal Technics for Data Base Design, Springer-Verlag Berlin Heidelberg."},{"key":"CR15","unstructured":"Glasgow, J., MacEwen, G. and Panangaden, P., 1989, ?Security by Permission in Databases?, in: Landwehr (ed.), Database Security II: Status and Prospects, North-Holland, 197?205."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BF01531265"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Jones, A. J. I. and P\u00f6rn, I., 1985, ?Ideality, Sub-ideality and Deontic Logic?, Synthese 65, D.Reidel, 275?290.","DOI":"10.1007\/BF00869304"},{"key":"CR18","unstructured":"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."},{"key":"CR19","volume-title":"Computer Security-ESORICS 92: Springer Lecture Notes in Computer Science 648","author":"A. J. I. Jones","year":"1992","unstructured":"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."},{"key":"CR20","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"A. J. I. Jones","year":"1993","unstructured":"Jones, A. J. I. and Sergot, M. J., 1993, ?Ou the Characterisation of Law and Computer Systems: The Normative Systems Perspective?, ch. 12 in J.-J. Ch. Meyer and R. J. Wieringa, ed., Deontic Logic in Computer Science: Normative System Specification, John Wiley and Sons, Chichester."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-51803-7_30"},{"key":"CR22","volume-title":"PhD Thesis","author":"S. Khosla","year":"1988","unstructured":"Khosla, S., 1988, System Specification: A Deontic Approach, PhD Thesis, Dept. of Computing, Imperial College of Science, Technology and Medicine, London."},{"key":"CR23","unstructured":"Korth, H., Levy, E. and Silberschatz, A., 1990, ?A Formal Approach to Recovery by Compensating Transactions?, Proc. Int. Conf. Very Large Databases."},{"key":"CR24","unstructured":"Kung, C., 1984, A Temporal Framework for Information Systems Specification and Verification, Ph. D. thesis, Norwegian Institute of Technology."},{"key":"CR25","unstructured":"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."},{"key":"CR26","unstructured":"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 Formal Aspects of Information Systems 1985, North-Holland, 145?157."},{"key":"CR27","first-page":"307","volume-title":"Automated Analysis of Legal Texts","author":"L. T. McCarty","year":"1986","unstructured":"McCarty, L. T., 1986, ?Permissions and Obligations: An Informal Introduction?, in: Martino, A.A. and Cocci, F. (eds.), Automated Analysis of Legal Texts, Noth-Holland, Amsterdam, 307?337."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J. Ch. Meyer","year":"1988","unstructured":"Meyer, J.-J. Ch., 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.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR29","unstructured":"1991, ?Normatics: The Characterization of Computer Systems and Complex Organizations as Normative Systems?, ESPRIT III BRA proposal."},{"key":"CR30","volume-title":"Logic Programming","author":"M. J. Sergot","year":"1982","unstructured":"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."},{"key":"CR31","unstructured":"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."},{"key":"CR32","unstructured":"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."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/122058.122068","volume":"19","author":"R. Snograss","year":"1990","unstructured":"Snograss, R., 1990, ?Temporal Databases: Status and Research Directions?, SIG-MOD Record 19, 83?89.","journal-title":"SIG-MOD Record"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MC.1986.1663327","volume":"19","author":"R. Snograss","year":"1986","unstructured":"Snograss, R. and Ahn, I., 1986, ?Temporal Databases?, Computer 19, 35?42.","journal-title":"Computer"},{"key":"CR35","unstructured":"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."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","volume":"4","author":"R. J. Wieringa","year":"1989","unstructured":"Wieringa, R. J., Meyer, J.-J. Ch. and Weigand, H., 1989, ?Specifying Dynamic and Deontic Integrity Constraints?, Data and Knowledge Engineering 4, 157?189.","journal-title":"Data and Knowledge Engineering"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF01530931","volume":"3","author":"R. J. Wieringa","year":"1991","unstructured":"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.","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370673.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370673\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:26:01Z","timestamp":1585938361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00370673"],"URL":"https:\/\/doi.org\/10.1007\/bf00370673","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}