{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:05Z","timestamp":1725663665504},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:49:27Z","timestamp":1330202967000},"page":"347-366","source":"Crossref","is-referenced-by-count":8,"title":["A specification language for static, dynamic and deontic integrity constraints"],"prefix":"10.1007","author":[{"given":"John-Jules","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Weigand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2214623","volume":"1","author":"A.R. Anderson","year":"1967","unstructured":"Anderson A.R. [1967] \"Some Nasty Problems in the Formalization of Ethics,\" No\u00fbs, Vol. 1 (1967), 345\u2013360.","journal-title":"No\u00fbs"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0169-023X(87)90031-0","volume":"2","author":"F. Dignum","year":"1987","unstructured":"Dignum F., T. Kemme, W. Kreuzen, H. Weigand, R.P. van de Riet [1987] \"Constraint Modelling Using an Conceptual Prototyping Language,\" Data & Knowledge Engineering, Vol. 2, 213\u2013254.","journal-title":"Data & Knowledge Engineering"},{"key":"23_CR3","unstructured":"Ehrich H.-D., U.W. Lipeck, M. Gogolla [1984] \"Specification, Semantics, and Enforcement of Dynamic Database Constraints,\" Proc. of the Tenth International Conference on Very Large Databases, Singapore, August 1984, 301\u2013308."},{"key":"23_CR4","unstructured":"Etherington D.W. [1988] Reasoning with Incomplete Information, Pitman."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/BF00291052","volume":"25","author":"J Fiadeiro","year":"1988","unstructured":"Fiadeiro J, A. Sernadas [1988] \"Specification and Verification of Database Dynamics,\" Acta Informatica 25, 625\u2013661.","journal-title":"Acta Informatica"},{"key":"23_CR6","unstructured":"Griethuysen J.J. van (ed.) [1982] Concepts and Terminology for the Conceptual Schema and the Information Base, ISO TC97\/SC5\/WG3 Report."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Harel D. [1984] \"Dynamic Logic,\" in: D.M. Gabbay, F. Guenther (eds.), Handbook of Philosophical Logic, Vol. 2, Reidel.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"23_CR8","unstructured":"Hilpinen R. (ed.) [1988a] Deontic Logic: Introductory and Systematic Readings, Reidel."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Hilpinen R. (ed.) [1988b] New Studies in Deontic Logic, Reidel.","DOI":"10.1007\/978-94-009-8484-4"},{"key":"23_CR10","unstructured":"Hospers J. [1953] An Introduction to Philosophical Analysis, Prentice-Hall."},{"key":"23_CR11","unstructured":"Hughes G.E., M.J. Cresswell [1968] An Introduction to Modal Logic, Methuen."},{"key":"23_CR12","unstructured":"Huisjes C.H. [1981] Norms and Logic, Ph.D. Thesis, Rijksuniversiteit te Groningen."},{"key":"23_CR13","unstructured":"Kung C. [1985] \"A Tableaux Approach for Consistency Checking,\" in: A. Sernadas, J. Bubenko, A. Oliv\u00e9 (eds.), Information Systems: Theoretical and Formal Aspects, North-Holland, 191\u2013207."},{"issue":"2","key":"23_CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/45941.45944","volume":"6","author":"R.M. Lee","year":"1988","unstructured":"Lee R.M. [1988] \"Bureaucracies as Deontic Systems,\" Trans. on Office Information Systems, Vol. 6, no. 2, 87\u2013108.","journal-title":"Trans. on Office Information Systems"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Lipeck U.W. [1986] \"Stepwise Specification of Dynamic Database Behaviour,\" Proc. SIGMOD, 387\u2013397.","DOI":"10.1145\/16894.16892"},{"issue":"3","key":"23_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U.W. Lipeck","year":"1987","unstructured":"Lipeck U.W., G. Saake [1987] \"Monitoring Dynamic Integrity Constraints Based on Temporal Logic\", Information Systems, Vol. 12, no. 3, 225\u2013269.","journal-title":"Information Systems"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Lloyd J.W. [1984] Foundations of Logic Programming, Springer.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd J.W., E.A. Sonenberg, R.W. Topor [1987] \"Integrity Constraint Checking in Stratified Databases,\" Journal of Logic Programming, 4, 331\u2013343.","journal-title":"Journal of Logic Programming"},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1305\/ndjfl\/1093883399","volume":"22","author":"R.P. McArthur","year":"1981","unstructured":"McArthur R.P. [1981] \"Anderson's Deontic Logic and Relevant Implication,\" Notre Dame Journal of Symbolic Logic, Vol. 22, 145\u2013154.","journal-title":"Notre Dame Journal of Symbolic Logic"},{"key":"23_CR20","first-page":"81","volume":"30","author":"J. C. Meyer","year":"1987","unstructured":"Meyer J.-J Ch. [1987] \"A Simple Solution to the \u201dDeepest\u201d Paradox in Deontic Logic,\" Logique et Analyse, Vol. 30, 81\u201390.","journal-title":"Logique et Analyse"},{"issue":"1","key":"23_CR21","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"19","author":"J. C. 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 19(1), 109\u2013136.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"23_CR22","unstructured":"Meyer J.-J. Ch. [to appear] \"Using Programming Concepts in Deontic Reasoning,\" to appear in: R. Bartsch, J. van Benthem, P. van Emde Boas (eds.), Semantics and Contextual Expression, FORIS Publications, Dordrecht-Riverton."},{"key":"23_CR23","unstructured":"Moser P.K. (ed.) [1987] A Priori Knowledge, Oxford University Press."},{"key":"23_CR24","unstructured":"Munitz M.K. [1981] Contemporary Analytic Philosophy, MacMillan."},{"key":"23_CR25","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J.M. Nicolas","year":"1982","unstructured":"Nicolas J.M. [1982] \"Logic for Improving Integrity Checking in Relational databases,\" Acta Informatica 18, 227\u2013253.","journal-title":"Acta Informatica"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Nicolas J.M., H. Gallaire [1978] \"Data Base: Theory vs. Interpretation,\" in Gallaire & Minker [1978], 33\u201354.","DOI":"10.1007\/978-1-4684-3384-5_2"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Nicolas J.M., K. Yazdanian [1978] \"Integrity Checking in Deductive Databases,\" in Gallaire & Minker [1978], 325\u2013344.","DOI":"10.1007\/978-1-4684-3384-5_12"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Reiter R. [1984] \"Towards a Logical Reconstruction of Relational Database Theory,\" in: M. Brodie, J. Mylopoulos, J. Schmidt (eds.), On Conceptual Modelling, Springer, 191\u2013233.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"23_CR29","unstructured":"Reiter R. [1988] \"On Integrity Constraints,\" in M.Y. Vardi (ed.), Proc. of the Second Conf. on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 97\u2013111."},{"key":"23_CR30","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas A. [1980] \"Temporal Aspects of Logical Procedure Definition,\" Information Systems, 5, 167\u2013187.","journal-title":"Information Systems"},{"key":"23_CR31","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0306-4379(83)90037-6","volume":"8","author":"W. Weber","year":"1983","unstructured":"Weber W., W. Stucky, J. Karszt [1983] \"Integrity Checking in Data Base Systems,\" Information Systems, 8, 125\u2013136.","journal-title":"Information Systems"},{"key":"23_CR32","unstructured":"Wieringa R.J., R.P. van de Riet [1988] \"Algebraic Specification of Object Dynamics in Knowledge Base Domains,\" in Proc. of the IFIP TC2\/WG 2.6 and TC8\/WG8.1 Working Conf. on the Role of Artificial Intelligence in Databases and Information Systems, Canton, China, 4\u20138 july, 1988."},{"key":"23_CR33","unstructured":"Wright, G.H. von [1963] Norms and Action, Routledge and Kegan Paul."}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:26Z","timestamp":1605648026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}