{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:14Z","timestamp":1725664814872},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605843"},{"type":"electronic","value":"9783540477990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60584-3_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:43:12Z","timestamp":1330288992000},"page":"1-13","source":"Crossref","is-referenced-by-count":8,"title":["Conflictfreeness as a basis for schema integration"],"prefix":"10.1007","author":[{"given":"Love","family":"Ekenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Johannesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"no. 4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"C. Batini, M. Lenzerini and S. B. Navathe, \u201cA Comparative Analysis of Methodologies for Database Schema Integration\u201d, ACM Computing Surveys, vol. 18, no. 4, pp. 323\u2013364, 1986.","journal-title":"ACM Computing Surveys"},{"key":"1_CR2","volume-title":"A Formal View Integration Method","author":"J. Biskup","year":"1986","unstructured":"J. Biskup and B. Convent, \u201cA Formal View Integration Method\u201d, in International Conference on the Management of Data, Washington, ACM, 1986."},{"key":"1_CR3","first-page":"413","volume-title":"View Integration by Semantic Unification and Transformation of Data Structures","author":"M. Bouzeghoub","year":"1990","unstructured":"M. Bouzeghoub and I. Comyn-Wattiau, \u201cView Integration by Semantic Unification and Transformation of Data Structures\u201d, in Ninth International Conference on Entity-Relationship Approach, Ed. H. Kangassalo, pp. 413\u2013430, Lausanne, North-Holland, 1990."},{"issue":"no.6","key":"1_CR4","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1109\/TSE.1984.5010292","volume":"SE-10","author":"U. Dayal","year":"1984","unstructured":"U. Dayal and H.-Y. Hwang, \u201cView Definition and Generalization for Database Integration in a Multidatabase System\u201d, IEEE Transactions on Software Engineering, vol. SE-10, no. 6, pp. 628\u2013644, 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR5","volume-title":"The Decision Problem: Solvable Classes of Quantification Formulas","author":"B. Dreben","year":"1979","unstructured":"B. Dreben and W. D. Goldfarb, The Decision Problem: Solvable Classes of Quantification Formulas, Reading, Mass, Addison-Wesley, 1979."},{"issue":"no.3\/4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0306-4379(84)90006-1","volume":"9","author":"W. Effelsberg","year":"1984","unstructured":"W. Effelsberg and M. V. Mannino, \u201cAttribute Equivalence in Global Schema Design for Heterogeneous Distributed Databases\u201d, Information Systems, vol. 9, no. 3\/4, pp. 237\u2013240, 1984.","journal-title":"Information Systems"},{"issue":"no.3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1137\/0215061","volume":"15","author":"R. Hull","year":"1986","unstructured":"R. Hull, \u201cRelative Information Capacity of Simple Relational Database Schemata\u201d, SIAM Journal of Computing, vol. 15, no. 3, pp. 856\u2013886, 1986.","journal-title":"SIAM Journal of Computing"},{"key":"1_CR8","volume-title":"Handbook of Theoretical Computer Science: Volume A","author":"D.S. Johnson","year":"1990","unstructured":"D.S. Johnson \u201cA Catalogue of Complexity Classes\u201d, in Handbook of Theoretical Computer Science: Volume A, Ed. Jan van Leeuwen, Elsevier, Amsterdam, 1990."},{"key":"1_CR9","volume-title":"A Logic Based Approach to Schema Integration","author":"P. Johannesson","year":"1991","unstructured":"P. Johannesson, \u201cA Logic Based Approach to Schema Integration\u201d, in 10th International Conference on Entity-Relationship Approach, Ed. T. Teorey, San Francisco, North-Holland, 1991."},{"key":"1_CR10","volume-title":"A Logical Basis for Schema Integration","author":"P. Johannesson","year":"1993","unstructured":"P. Johannesson, \u201cA Logical Basis for Schema Integration\u201d, in Third International Workshop on Research Issues in Data Engineering \u2014 Interoperability in Multidatabase Systems, Ed. H. Schek, Vienna, IEEE Press, 1993."},{"key":"1_CR11","volume-title":"Linguistic Instruments and Qualitative Reasoning for Schema Integration","author":"P. Johannesson","year":"1994","unstructured":"P. Johannesson, \u201cLinguistic Instruments and Qualitative Reasoning for Schema Integration\u201d, in Third International Conference on Information and Knowledge Management, Ed. N. Adam. Gaithersburg, Maryland, IEEE Press, 1994."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"P. Johannesson, \u201cSchema Standardization as an Aid in View Integration\u201d, in Information Systems, Vol. 19, No 3, 1994.","DOI":"10.1016\/0306-4379(94)90046-9"},{"issue":"no.4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.16605","volume":"15","author":"J. A. Larson","year":"1989","unstructured":"J. A. Larson, S. Navathe and R. ElMasri, \u201cA Theory of Attribute Equivalence in Databases with Applications to Schema Integration\u201d, IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 449\u2013463, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"R. Miller, Y. Ioannidis, and R. Ramakrishnan, \u201cSchema Equivalence in Heterogeneous Systems: Bridging Theory and Practice\u201d, in Information Systems, Vol. 19, No 1,1994.","DOI":"10.1016\/0306-4379(94)90024-8"},{"issue":"no.7","key":"1_CR15","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/TSE.1987.233490","volume":"13","author":"A. Motro","year":"1987","unstructured":"A. Motro, \u201cSuperviews: Virtual Integration of Multiple Databases\u201d, IEEE Transactions on Software Engineering, vol. 13, no. 7, pp. 785\u2013798, 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"no.2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF01228708","volume":"1","author":"S. Spaccapietra","year":"1992","unstructured":"S. Spaccapietra, C. Parent and Y. Dupont, \u201cModel Independent Assertions for Integration of Heterogeneous Schemas\u201d, The VLDB Journal, vol. 1, no. 2, pp. 81\u2013126, 1992.","journal-title":"The VLDB Journal"},{"key":"1_CR17","unstructured":"G. St\u00e5lmarck, System for Determining Propositional Logic Theorems by Applying Values and Rules to Triplets that are Generated from a Formula, US. Patent No. 5 276 897."},{"key":"1_CR18","unstructured":"M. T. \u00d6zsu and P. Valduriez, Principles of Distributed Database Systems, Prentice-Hall, 1990."}],"container-title":["Lecture Notes in Computer Science","Information Systems and Data Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60584-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:54Z","timestamp":1619573154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60584-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605843","9783540477990"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60584-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}