{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:49Z","timestamp":1740123889304,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-1524469"],"award-info":[{"award-number":["IIS-1524469"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["BCS-1360763"],"award-info":[{"award-number":["BCS-1360763"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10472-020-09720-4","type":"journal-article","created":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T17:02:42Z","timestamp":1609606962000},"page":"511-549","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Schema mapping coverage"],"prefix":"10.1007","volume":"89","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5563-0147","authenticated-orcid":false,"given":"Ning","family":"Deng","sequence":"first","affiliation":[]},{"given":"Jan","family":"Chomicki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,2]]},"reference":[{"key":"9720_CR1","volume-title":"Foundations of Databases: the Logical Level","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: the Logical Level. Addison-Wesley Longman Publishing Co. Inc., Upper Saddle River (1995)"},{"key":"9720_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139060158","volume-title":"Foundations of Data Exchange","author":"M Arenas","year":"2014","unstructured":"Arenas, M., Barcel\u00f3, P., Libkin, L., Murlak, F.: Foundations of Data Exchange. Cambridge University Press, Cambridge (2014)"},{"key":"9720_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., P\u00e9rez, J., Reutter, J. L., Riveros, C.: Foundations of schema mapping management. In: Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp 227\u2013238. ACM (2010)","DOI":"10.1145\/1807085.1807116"},{"key":"9720_CR4","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M. Y.: Simplifying schema mappings. In: Proceedings of the 14th International Conference on Database Theory, pp 114\u2013125. ACM (2011)","DOI":"10.1145\/1938551.1938568"},{"key":"9720_CR5","doi-asserted-by":"crossref","unstructured":"Cosmadakis, S. S., Kanellakis, P. C.: Equational theories and database constraints. In: Proceedings of the 17th Annual ACM Symposium on Theory of Computing, pp 273\u2013284. ACM (1985)","DOI":"10.1145\/22145.22176"},{"key":"9720_CR6","volume-title":"Principles of Data Integration","author":"A Doan","year":"2012","unstructured":"Doan, A., Halevy, A., Ives, Z.: Principles of Data Integration. Elsevier, Amsterdam (2012)"},{"issue":"4","key":"9720_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1292609.1292615","volume":"32","author":"R Fagin","year":"2007","unstructured":"Fagin, R.: Inverting schema mappings. ACM Transactions on Database Systems (TODS) 32(4), 25 (2007)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"1","key":"9720_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P. G., Miller, R. J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9720_CR9","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P. G., Popa, L., Tan, W. -C.: Composing schema mappings: second-order dependencies to the rescue. ACM Transactions on Database Systems (TODS) 30(4), 994\u20131055 (2005)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"2","key":"9720_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1366102.1366108","volume":"33","author":"R Fagin","year":"2008","unstructured":"Fagin, R., Kolaitis, P. G., Popa, L., Tan, W. -C.: Quasi-inverses of schema mappings. ACM Transactions on Database Systems (TODS) 33(2), 11 (2008)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"2","key":"9720_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1966385.1966389","volume":"36","author":"R Fagin","year":"2011","unstructured":"Fagin, R., Kolaitis, P. G., Popa, L., Tan, W. -C.: Reverse data exchange: coping with nulls. ACM Transactions on Database Systems (TODS) 36 (2), 11 (2011)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"9720_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0682-2","volume-title":"Computability and complexity theory","author":"S Homer","year":"2011","unstructured":"Homer, S., Selman, A. L.: Computability and complexity theory. Springer Science & Business Media, Berlin (2011)"},{"key":"9720_CR13","doi-asserted-by":"crossref","unstructured":"Kolaitis, P. G.: Schema mappings, data exchange, and metadata management. In: Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 61\u201375 (2005)","DOI":"10.1145\/1065167.1065176"},{"key":"9720_CR14","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp 233\u2013246. ACM (2002)","DOI":"10.1145\/543613.543644"},{"key":"9720_CR15","unstructured":"Miller, R. J., Ioannidis, Y. E., Ramakrishnan, R.: The use of information capacity in schema integration and translation. In: VLDB, vol. 93, pp 120\u2013133 (1993)"},{"key":"9720_CR16","doi-asserted-by":"crossref","unstructured":"Miller, R. J., Ioannidis, Y. E., Ramakrishnan, R.: Schema equivalence in heterogeneous systems: bridging theory and practice. In: International Conference on Extending Database Technology, pp 73\u201380. Springer (1994)","DOI":"10.1007\/3-540-57818-8_42"},{"key":"9720_CR17","unstructured":"Onet, A.: The chase procedure and its applications in data exchange. In: Dagstuhl Follow-Ups, volume 5. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)"},{"key":"9720_CR18","unstructured":"Sallinger, E.: Reasoning about schema mappings. In: Dagstuhl Follow-Ups, volume 5. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-020-09720-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-020-09720-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-020-09720-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T07:52:34Z","timestamp":1670658754000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-020-09720-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,2]]},"references-count":18,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9720"],"URL":"https:\/\/doi.org\/10.1007\/s10472-020-09720-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2021,1,2]]},"assertion":[{"value":"18 November 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}