{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:51:26Z","timestamp":1760424686810},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610571"},{"type":"electronic","value":"9783540499435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014146","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:31:44Z","timestamp":1132716704000},"page":"114-128","source":"Crossref","is-referenced-by-count":13,"title":["Correct schema transformations"],"prefix":"10.1007","author":[{"given":"Xiaolei","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(86)90010-1","volume":"62","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul and R. Hull. Restructuring hierarchical database objects. Theoretical Computer Science, 62:3\u201338, 1988.","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","unstructured":"Y. Bar-Hillel and R. Carnap. An outline of a theory of semantic information. In Y. Bar-Hillel, editor, Language and Information, chapter 15, pages 221\u2013274. Addison-Wesley, 1964."},{"issue":"4","key":"7_CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"C. Batini, M. Lenzerini, and S. B. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323\u2013364, December 1986.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"7_CR4","first-page":"8","volume":"14","author":"C. Beeri","year":"1991","unstructured":"C. Beeri. Theoretical foundations for OODB's \u2014 a personal perspective. IEEE Data Engineering Bulletin, 14(2):8\u201312, June 1991.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C. Beeri. New data models and languages \u2014 the challenge. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 1\u201315, 1992.","DOI":"10.1145\/137097.137101"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, and A. Kosky. Theoretical aspects of schema merging. In Proceedings of the Third International Conference on Extending Database Technology, 1992.","DOI":"10.1007\/BFb0032429"},{"key":"7_CR7","unstructured":"M. A. Casanova, L. Tucherman, A. L. Furtado, and A. P. Braga. Optimization of relational schemas containing inclusion dependencies. In Proceedings of the Fifteenth International Conference on Very Large Data Bases, pages 317\u2013325, 1989."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"M. A. Casanova and V. M. P. Vidal. Towards a sound view integration methodology. In Proceedings of the Second ACM Symposium on Principles of Database Systems, pages 36\u201347, 1983.","DOI":"10.1145\/588058.588065"},{"key":"7_CR9","unstructured":"H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972."},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"7_CR11","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1137\/0215061","volume":"15","author":"R. Hull","year":"1986","unstructured":"R. Hull. Relative information capacity of simple relational database schemata. SIAM Journal of Computing, 15(3):856\u2013886, August 1986.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"7_CR12","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1145\/828.832","volume":"31","author":"R. Hull","year":"1984","unstructured":"R. Hull and C. K. Yap. The format model: A theory of database organization. Journal of the ACM, 31(3):518\u2013537, July 1984.","journal-title":"Journal of the ACM"},{"issue":"3","key":"7_CR13","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/320613.320615","volume":"5","author":"A. Klug","year":"1980","unstructured":"A. Klug. Calculating constraints on relational expressions. ACM Transactions on Database Systems, 5(3):260\u2013290, September 1980.","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"7_CR14","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/132271.132273","volume":"17","author":"V. M. Markowitz","year":"1992","unstructured":"V. M. Markowitz and A. Shoshani. Representing extended entity-relationship structures in relational databases: A modular approach. ACM Transactions on Database Systems, 17(3):423\u2013464, September 1992.","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"7_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0306-4379(94)90024-8","volume":"19","author":"R. J. Miller","year":"1994","unstructured":"R. J. Miller, Y. E. Ioannidis, and R. Ramakrishnan. Schema equivalence in heterogeneous systems: Bridging theory and practice. Information Systems, 19(1):3\u201332, January 1994.","journal-title":"Information Systems"},{"key":"7_CR16","unstructured":"X. Qian. Correct schema transformations. Technical Report SRI-CSL-95-08, Computer Science Laboratory, SRI International, July 1995."},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/176567.176568","volume":"19","author":"A. Rosenthal","year":"1994","unstructured":"A. Rosenthal and D. Reiner. Tools and transformations\u2014rigorous and otherwise-for practical database design. ACM Transactions on Database Systems, 19(2):167\u2013211, June 1994.","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"7_CR18","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/69.277770","volume":"6","author":"S. Spaccapietra","year":"1994","unstructured":"S. Spaccapietra and C. Parent. View integration: A step forward in solving structural conflicts. IEEE Transactions on Knowledge and Data Engineering, 6(2):258\u2013274, April 1994.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"7_CR19","unstructured":"D. Tsichritzis and F. Lochovsky. Data Models. Prentice-Hall, 1982."},{"key":"7_CR20","unstructured":"J. D. Ullman. Principles of Database and Knowledge Base Systems, volume 1. Computer Science Press, 1988."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"V. M. P. Vidal and M. Winslett. Preserving update semantics in schema integration. In Proceedings of the Third International Conference on Information and Knowledge Management, pages 263\u2013271, 1994.","DOI":"10.1145\/191246.191291"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics, chapter 13, pages 675\u2013788. MIT Press\/Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T09:00:56Z","timestamp":1549357256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610571","9783540499435"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0014146","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}