{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:10:44Z","timestamp":1725732644258},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199465"},{"type":"electronic","value":"9781447135777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3577-7_4","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T14:16:38Z","timestamp":1371737798000},"page":"48-60","source":"Crossref","is-referenced-by-count":2,"title":["Constraint Satisfiability in Object-Oriented Databases"],"prefix":"10.1007","author":[{"given":"Anna","family":"Formica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Missikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Terenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"C.Batini, S.Ceri, S.B.Navathe: Conceptual Database Design - An entity-relationship approach; Benjamin-Cummings Publ., 1992."},{"key":"4_CR2","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"CL Chang","year":"1987","unstructured":"Chin-Liang Chang, R. Char-Tung Lee: Symbolic Logic and Mechanical Theorem Proving; Academic Press Publ., London 1987."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"A.Formica, M.Missikoff: Integrity Constraints Representation in Object-Oriented Databases; in Information and Knowledge Management, T.W.Finin, C.K.Nicholas, Y.Yesha eds., Lecture Notes in Computer Science (LNCS) 752, Springer-Verlag, pp. 69\u201385, 1993.","DOI":"10.1007\/3-540-57419-0_5"},{"key":"4_CR4","unstructured":"A.Formica, M.Missikoff: Logical foundations of theT2G+ Object-Oriented design language; Technical Note, IASI-CNR, Rome, November 1993."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"A.Formica, M.Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemes; Proc. of the 4th Int.Conf. on Extending Database Technology 94 (EDBT 94); Lecture Notes in Computer Science (LNCS) 779; Cambridge, March 1994.","DOI":"10.1007\/3-540-57818-8_54"},{"key":"4_CR6","unstructured":"M.Jarke: DAIDA: Conceptual Modelling and Knowledge-Based Support for Informaton Systems; Technique et Science Informatique, v.9, n.2, 1990."},{"key":"4_CR7","unstructured":"H. Lam, M.Missikoff: On Semantic Verification of Object-Oriented Database Schemes; Proc. of Int. Workshop on New Generation Information Technology and Systems\u2013NGITS, Haifa, pp. 22\u201329, June 1993."},{"key":"4_CR8","unstructured":"J.W. Lloyd:Logic Programming; Springer Verlag, Berlin, Heidelberg, New York, 1993."},{"key":"4_CR9","unstructured":"R. Manthey, F. Bry: Satchmo: a theorem prover implemented in Prolog in Proceedings of CADE 88 (9th Conference on Automated Deduction) Argonne Illinois; 1988."},{"key":"4_CR10","volume-title":"September 28th - October 2nd","author":"R Manthey","year":"1987","unstructured":"R. Manthey, F. Bry: A Hyperresolution-Based Proof Procedure and its Implementation in Prolog in Proceedings 11th Workshop on AI (GWAI 87), September 28th - October 2nd 1987."},{"key":"4_CR11","unstructured":"F.Bry, R.Manthey: Checking Consistency of Database Constraints: a Logical Basis; Proc. of 12th Int Conf. on Very Large Data Bases ( VLDB ), Kyoto, August 1986."},{"key":"4_CR12","unstructured":"M.Missikoff, M.Toaiti: Safe Rapid Prototyping of Object-Oriented Database Applications; Proc. of 5th Int. Workshop on Rapid System Prototyping; Grenoble, France, June 1994."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"M.Missikoff, M.Toiati: MOSAICO- A System for Conceptual Modeling and Rapid Prototyping of Object-Oriented Database Application; Proc. of the 1994 ACM SIGMOD Int. Conference on Management of Data; Minneapolis, May 24\u201327, 1994.","DOI":"10.1145\/191839.191958"},{"key":"4_CR14","volume-title":"Machine Intelligence 4, 135-150, Edinburgh University Press","author":"G Robinson","year":"1969","unstructured":"G. Robinson, L. Wos: Paramodulation and theorem-proving in First-Order Theories with Equality, in Machine Intelligence 4, 135\u2013150, Edinburgh University Press (1969)."},{"key":"4_CR15","volume-title":"Hart: a Sound and Complete Logical Calculus for Range-restricted Formulas with Equality; Technical Note","author":"R Terenzi","year":"1994","unstructured":"R. Terenzi: HaRT: a Sound and Complete Logical Calculus for Range-restricted Formulas with Equality; Technical Note, IFSI-CNR, Frascati (Rome ), September 1994."},{"key":"4_CR16","unstructured":"J. D. Ullmann: Database and Knowledge\u2013Base Systems,vol. I; Computer Science Press, Rockville, Maryland, USA (1988), ISBN 0\u20137167\u20138069\u20130."}],"container-title":["Workshops in Computing","East\/West Database Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3577-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:24:43Z","timestamp":1557825883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3577-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199465","9781447135777"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3577-7_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}