{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:46:33Z","timestamp":1725986793156},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69534-9_23","type":"book-chapter","created":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T08:27:34Z","timestamp":1212827254000},"page":"281-295","source":"Crossref","is-referenced-by-count":10,"title":["Decidable Reasoning in UML Schemas with Constraints"],"prefix":"10.1007","author":[{"given":"Anna","family":"Queralt","sequence":"first","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., de Giacomo, G.: Reasoning on uml class diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Cadoli, M., Calvanese, D., Giacomo, G.D., Mancini, T.: Finite model reasoning on uml class diagrams via constraint programming. In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, pp. 36\u201347 (2007)","DOI":"10.1007\/978-3-540-74782-6_5"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-540-49524-6_12","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"S. Hartmann","year":"1998","unstructured":"Hartmann, S.: On the Consistency of Int-cardinality Constraints. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 150\u2013163. Springer, Heidelberg (1998)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45758-5_17","volume-title":"Foundations of Information and Knowledge Systems","author":"K. Engel","year":"2002","unstructured":"Engel, K., Hartmann, S.: Minimal Sample Databases for Global Cardinality Constraints. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, pp. 268\u2013288. Springer, Heidelberg (2002)"},{"issue":"4","key":"23_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/0306-4379(90)90048-T","volume":"15","author":"M. Lenzerini","year":"1990","unstructured":"Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst.\u00a015(4), 453\u2013461 (1990)","journal-title":"Inf. Syst."},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/69.979977","volume":"14","author":"A. Formica","year":"2002","unstructured":"Formica, A.: Finite satisfiability of integrity constraints in object-oriented database schemas. IEEE Trans. on Knowledge and Data Eng.\u00a014(1), 123\u2013139 (2002)","journal-title":"IEEE Trans. on Knowledge and Data Eng."},{"issue":"3","key":"23_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0306-4379(02)00010-8","volume":"28","author":"A. Formica","year":"2003","unstructured":"Formica, A.: Satisfiability of object-oriented database constraints with set and bag attributes. Information Systems\u00a028(3), 213\u2013224 (2003)","journal-title":"Information Systems"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 497\u2013512. Springer, Heidelberg (2006)"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farre","year":"2005","unstructured":"Farre, C., Teniente, E., Urp\u00ed, T.: Checking query containment with the cqc method. Data and Knowledge Engineering\u00a053(2), 163\u2013223 (2005)","journal-title":"Data and Knowledge Engineering"},{"issue":"4","key":"23_CR10","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1145\/115302.115298","volume":"16","author":"G. Moerkotte","year":"1991","unstructured":"Moerkotte, G., Lockemann, P.C.: Reactive consistency control in deductive databases. ACM Trans. Database Syst.\u00a016(4), 670\u2013702 (1991)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"23_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"Console, L., Sapino, M.L., Dupr\u00e9, D.T.: The role of abduction in database view updating. J. Intell. Inf. Syst.\u00a04(3), 261\u2013280 (1995)","journal-title":"J. Intell. Inf. Syst."},{"issue":"1-2","key":"23_CR12","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/11663081.1997.10510902","volume":"7","author":"J. Lobo","year":"1997","unstructured":"Lobo, J., Trajcevski, G.: Minimal and consistent evolution in knowledge bases. J. Applied Non-Classical Logics\u00a07(1-2), 117\u2013146 (1997)","journal-title":"J. Applied Non-Classical Logics"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Trans. DB Syst.\u00a019(3), 367\u2013422 (1994)","journal-title":"ACM Trans. DB Syst."},{"key":"23_CR14","unstructured":"Decker, H.: An extension of sld by abduction and integrity maintenance for view updating in deductive databases. In: JICSLP, pp. 157\u2013169 (1996)"},{"issue":"2","key":"23_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.D. Schewe","year":"1999","unstructured":"Schewe, K.D., Thalheim, B.: Towards a theory of consistency enforcement. Acta Inf.\u00a036(2), 97\u2013141 (1999)","journal-title":"Acta Inf."},{"issue":"1","key":"23_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0169-023X(03)00061-2","volume":"47","author":"E. Mayol","year":"2003","unstructured":"Mayol, E., Teniente, E.: Consistency preserving updates in deductive databases. Data Knowl. Eng.\u00a047(1), 61\u2013103 (2003)","journal-title":"Data Knowl. Eng."},{"key":"23_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-Relationship Modeling: Foundations of Database Technology","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, New York (2000)"},{"key":"23_CR18","unstructured":"MIT Software Design Group: The Alloy Analyzer, \n                    \n                      http:\/\/alloy.mit.edu"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11663881_13","volume-title":"Foundations of Information and Knowledge Systems","author":"K. Kaneiwa","year":"2006","unstructured":"Kaneiwa, K., Satoh, K.: Consistency Checking Algorithms for Restricted UML Class Diagrams. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 219\u2013239. Springer, Heidelberg (2006)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69534-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:28:01Z","timestamp":1551515281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69534-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783319981765","9783319981772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69534-9_23","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2008]]}}}