{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:59Z","timestamp":1747546919074},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617846"},{"type":"electronic","value":"9783540706854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0019915","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:49:37Z","timestamp":1138200577000},"page":"58-72","source":"Crossref","is-referenced-by-count":5,"title":["Deductive object oriented schemas"],"prefix":"10.1007","author":[{"given":"Dimitri","family":"Theodoratos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"S. Abiteboul","year":"1987","unstructured":"S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. Database Systems, 12(3):525\u2013565, 1987.","journal-title":"ACM Trans. Database Systems"},{"issue":"2","key":"6_CR2","first-page":"3","volume":"14","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and P. C. Kanellakis. The two facets of object-oriented data models. Data & Knowledge Engineering, 14(2):3\u20137, 1991.","journal-title":"Data & Knowledge Engineering"},{"key":"6_CR3","unstructured":"H. Arisawa and T. Miura. On the properties of extended inclusion dependencies. In Proc. of Intl. Conf. on Very Large Data Bases, pages 449\u2013456, 1986."},{"key":"6_CR4","first-page":"580","volume-title":"Proc. IFIP 74","author":"W. W. Armstrong","year":"1974","unstructured":"W. W. Armstrong. Dependency structures of database relationships. In Proc. IFIP 74, North Holland, Amsterdam, pages 580\u2013583, 1974."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"M. Atkinson, D. DeWitt, D. Maier, F. Bancilhon, K. Dittrich, and S. Zdonik. The object-oriented database system manifesto. In Proc. of 1st Intl. Conf. on Deductive and Object Oriented Databases, pages 40\u201357, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0169-023X(88)90011-0","volume":"3","author":"P. Atzeni","year":"1988","unstructured":"P. Atzeni and D. S. Parker. Formal properties of net-based knowledge represenation schemes. Data & Knowledge Engineering, 3:137\u2013147, 1988.","journal-title":"Data & Knowledge Engineering"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(86)90011-3","volume":"62","author":"P. Atzeni","year":"1988","unstructured":"P. Atzeni and D. S. Parker. Set containment inference and syllogisms. Theoretical Computer Science, 62:39\u201365, 1988.","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"P. Atzeni and D. S. Parker. Algorithms for set containment inference. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, pages 43\u201365. ACM Press, Frontier Series, 1990.","DOI":"10.1145\/101620.101627"},{"issue":"4","key":"6_CR9","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/2157.322404","volume":"30","author":"G. Ausiello","year":"1983","unstructured":"G. Ausiello, A. D'Atri, and D. Sacc\u00e0. Graph algorithms for functional dependency manipulation. Jour. of the ACM, 30(4):752\u2013766, Oct. 1983.","journal-title":"Jour. of the ACM"},{"issue":"3","key":"6_CR10","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/69.224196","volume":"5","author":"G. D. Battista","year":"1993","unstructured":"G. D. Battista and M. Lenzerini. Deductive entity relationship modeling. IEEE Transactions on Knowledge and Data Engineering, 5(3):439\u2013450, 1993.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"6_CR11","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/320064.320066","volume":"4","author":"C. Beeri","year":"1979","unstructured":"C. Beeri and P. Berstein. Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst, 4(1):30\u201359, Mar 1979.","journal-title":"ACM Trans. Database Syst"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D. Calvanese and M. Lenzerini. Making object-oriented schemas more expressive. In Proc. of the Intl. Conf. on Principles of Database Systems, pages 243\u2013254, 1994.","DOI":"10.1145\/182591.182620"},{"key":"6_CR13","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"key":"6_CR14","volume-title":"The Decision Problem: Solvable Classes of Quantificational formulas","author":"S. B. Dreben","year":"1979","unstructured":"S. B. Dreben and D. W. Goldfarb. The Decision Problem: Solvable Classes of Quantificational formulas. Addison-Wesley, Reading, MA, 1979."},{"key":"6_CR15","first-page":"1","volume-title":"Advances in computing Research, volume 3","author":"R. Fagin","year":"1986","unstructured":"R. Fagin, G. M. Kuper, J. Ullman, and M. Vardi. Updating logical databases. In P. Kanellakis and F. Preparata, editors, Advances in computing Research, volume 3, pages 1\u201318. JAI Press, Greenwhich, CT, 1986."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Ullman, and M. Vardi. On the semantics of updates in databases. In Proc. Second ACM Symp. on Principles of Database Systems, Atlanta, GA, pages 352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic Database Modeling: Survey, Applications and Research issues. ACM Computing Surveys, 19(3):201\u2013260, 1987.","journal-title":"ACM Computing Surveys"},{"key":"6_CR18","unstructured":"P. Kanellakis, C. L\u00e9cluse, and P. Richard. Introduction to the data model. In F. Bancilhon, C. Delobel, and P. Kanellakis, editors, Building an Object Oriented Database system, the story of O2. Morgan Kaufmann Publishers, 1992."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"H. A. Kautz, M. J. Kearns, and B. Selman. Horn approximations of empirical data. Artificial Intelligence, 74(1), mar 1995.","DOI":"10.1016\/0004-3702(94)00072-9"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"M. Lenzerini. Class hierachies and their complexity. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, pages 43\u201365. ACM Press, Frontier Series, 1990.","DOI":"10.1145\/101620.101623"},{"key":"6_CR21","unstructured":"B. Nebel. Belief revision and default reasoning: syntax based approaches. In Proc. of the Second Intl. Conf. on Principles of Knowledge Representation and Reasoning, pages 417\u2013428, 1991."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"D. Theodoratos. Monadic databases with equality. In Proc. of the Intl. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems, pages 74\u201388. Springer-Verlag, LNCS 495, 1991.","DOI":"10.1007\/3-540-54009-1_6"},{"key":"6_CR23","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 2. Computer Science Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T08:57:08Z","timestamp":1586681828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617846","9783540706854"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0019915","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}