{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:33:29Z","timestamp":1780382009765,"version":"3.54.1"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1145\/1629175.1629201","type":"journal-article","created":{"date-parts":[[2009,12,21]],"date-time":"2009-12-21T14:08:04Z","timestamp":1261404484000},"page":"101-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Structural characterizations of schema-mapping languages"],"prefix":"10.1145","volume":"53","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[{"name":"INRIA and ENS Cachan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Phokion G.","family":"Kolaitis","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz and IBM Research--Almaden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275516"},{"key":"e_1_2_1_2_1","volume-title":"A formal system for Euclid's Elements. Rev. Symb. Logic","author":"Avigad J.","year":"2009","unstructured":"Avigad , J. , Dean , E. , Mumma , J. A formal system for Euclid's Elements. Rev. Symb. Logic ( 2009 ). To appear. Avigad, J., Dean, E., Mumma, J. A formal system for Euclid's Elements. Rev. Symb. Logic (2009). To appear."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378727.1378745"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_5_1","first-page":"64","article-title":"Relational completeness of data base sublanguages. Database Systems. R. Rustin, ed","volume":"33","author":"Codd E.F","year":"1972","unstructured":"Codd , E.F . Relational completeness of data base sublanguages. Database Systems. R. Rustin, ed . Prentice-Hall , 1972 , 33 -- 64 . Codd, E.F. Relational completeness of data base sublanguages. Database Systems. R. Rustin, ed. Prentice-Hall, 1972, 33--64.","journal-title":"Prentice-Hall"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/263661.263674"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1O16\/j.tcs.2004.10.033"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1114244.1114249"},{"key":"e_1_2_1_10_1","series-title":"Proceedings of Symposia in Applied Mathematics","volume-title":"The theory of data dependencies---a survey. Mathematics of Information Processing","author":"Fagin R.","year":"1986","unstructured":"Fagin R. , Vardi , M.Y. The theory of data dependencies---a survey. Mathematics of Information Processing , volume 34 of Proceedings of Symposia in Applied Mathematics , American Mathematical Society , 1986 , 19--71. Fagin R., Vardi, M.Y. The theory of data dependencies---a survey. Mathematics of Information Processing, volume 34 of Proceedings of Symposia in Applied Mathematics, American Mathematical Society, 1986, 19--71."},{"key":"e_1_2_1_11_1","volume-title":"International Conference on Very Large Data Bases (VLDB)","author":"Fuxman A.","year":"2006","unstructured":"Fuxman , A. , Hernandez , M.A. , Ho , H. , Miller , R.J. , Papotti , P. , Popa , L. Nested mappings: schema mapping reloaded . International Conference on Very Large Data Bases (VLDB) ( 2006 ), 67--78. Fuxman, A., Hernandez, M.A., Ho, H., Miller, R.J., Papotti, P., Popa, L. Nested mappings: schema mapping reloaded. International Conference on Very Large Data Bases (VLDB) (2006), 67--78."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11965893_3"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066252"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065176"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543644"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.16"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514903"},{"key":"e_1_2_1_18_1","first-page":"569","article-title":"Impossibility of an algorithm for the decision problem on finite classes","volume":"70","author":"Trakhtenbrot B","year":"1950","unstructured":"Trakhtenbrot , B . Impossibility of an algorithm for the decision problem on finite classes . Dokl. Akad. Nauk. SSSR , 70 ( 1950 ), 569 -- 572 . Trakhtenbrot, B. Impossibility of an algorithm for the decision problem on finite classes. Dokl. Akad. Nauk. SSSR, 70 (1950), 569--572.","journal-title":"Dokl. Akad. Nauk. SSSR"},{"key":"e_1_2_1_19_1","first-page":"356","article-title":"Logical approaches to incomplete information: a survey","volume":"307","author":"van der Meyden R","year":"1998","unstructured":"van der Meyden , R . Logical approaches to incomplete information: a survey . Logics for Databases and Information Systems. Kluwer , 1998 , 307 -- 356 . van der Meyden, R. Logical approaches to incomplete information: a survey. Logics for Databases and Information Systems. Kluwer, 1998, 307--356.","journal-title":"Logics for Databases and Information Systems. Kluwer"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629175.1629201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629175.1629201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:25Z","timestamp":1750250485000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629175.1629201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1145\/1629175.1629201"],"URL":"https:\/\/doi.org\/10.1145\/1629175.1629201","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"2010-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}