{"id":"https://openalex.org/W2020228538","doi":"https://doi.org/10.1145/1055558.1055572","title":"Composing schema mappings","display_name":"Composing schema mappings","publication_year":2004,"publication_date":"2004-06-14","ids":{"openalex":"https://openalex.org/W2020228538","doi":"https://doi.org/10.1145/1055558.1055572","mag":"2020228538"},"language":"en","primary_location":{"id":"doi:10.1145/1055558.1055572","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055572","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027117465","display_name":"Ronald Fagin","orcid":"https://orcid.org/0000-0002-7374-0347"},"institutions":[{"id":"https://openalex.org/I4210085935","display_name":"IBM Research - Almaden","ror":"https://ror.org/005w8dd04","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronald Fagin","raw_affiliation_strings":["IBM Almaden Research Center","IBM Almaden Research Center San Jose , CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Almaden Research Center","institution_ids":["https://openalex.org/I4210085935"]},{"raw_affiliation_string":"IBM Almaden Research Center San Jose , CA","institution_ids":["https://openalex.org/I4210085935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041825861","display_name":"Phokion G. Kolaitis","orcid":"https://orcid.org/0000-0002-8407-8563"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]},{"id":"https://openalex.org/I4210085935","display_name":"IBM Research - Almaden","ror":"https://ror.org/005w8dd04","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phokion G. Kolaitis","raw_affiliation_strings":["UC Santa Cruz","IBM Almaden Research Center San Jose , CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"IBM Almaden Research Center San Jose , CA","institution_ids":["https://openalex.org/I4210085935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026007789","display_name":"Wang-Chiew Tan","orcid":"https://orcid.org/0009-0008-4174-7545"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wang-Chiew Tan","raw_affiliation_strings":["UC Santa Cruz","Univ. of California, Santa Cruz, Santa Cruz, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"Univ. of California, Santa Cruz, Santa Cruz, CA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105463891","display_name":"Lucian Popa","orcid":null},"institutions":[{"id":"https://openalex.org/I4210085935","display_name":"IBM Research - Almaden","ror":"https://ror.org/005w8dd04","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lucian Popa","raw_affiliation_strings":["IBM Almaden Research Center","IBM Almaden Research Center San Jose , CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Almaden Research Center","institution_ids":["https://openalex.org/I4210085935"]},{"raw_affiliation_string":"IBM Almaden Research Center San Jose , CA","institution_ids":["https://openalex.org/I4210085935"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":15.4705,"has_fulltext":false,"cited_by_count":278,"citation_normalized_percentile":{"value":0.99040086,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9811000227928162,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/star-schema","display_name":"Star schema","score":0.8252229690551758},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.7247382402420044},{"id":"https://openalex.org/keywords/conceptual-schema","display_name":"Conceptual schema","score":0.7007294297218323},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6723074913024902},{"id":"https://openalex.org/keywords/semi-structured-model","display_name":"Semi-structured model","score":0.6162691712379456},{"id":"https://openalex.org/keywords/database-schema","display_name":"Database schema","score":0.5762439370155334},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4392460286617279},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33144912123680115},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2964479625225067},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.2854487895965576}],"concepts":[{"id":"https://openalex.org/C190703929","wikidata":"https://www.wikidata.org/wiki/Q1331138","display_name":"Star schema","level":4,"score":0.8252229690551758},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.7247382402420044},{"id":"https://openalex.org/C29275276","wikidata":"https://www.wikidata.org/wiki/Q2268965","display_name":"Conceptual schema","level":3,"score":0.7007294297218323},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6723074913024902},{"id":"https://openalex.org/C56310702","wikidata":"https://www.wikidata.org/wiki/Q2269281","display_name":"Semi-structured model","level":4,"score":0.6162691712379456},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.5762439370155334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4392460286617279},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33144912123680115},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2964479625225067},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2854487895965576},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.0},{"id":"https://openalex.org/C165611974","wikidata":"https://www.wikidata.org/wiki/Q5531015","display_name":"Gender schema theory","level":2,"score":0.0},{"id":"https://openalex.org/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1055558.1055572","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055572","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W1482193060","https://openalex.org/W1541434994","https://openalex.org/W1556076816","https://openalex.org/W1558832481","https://openalex.org/W1560604137","https://openalex.org/W1970318994","https://openalex.org/W1979514837","https://openalex.org/W1980103601","https://openalex.org/W1984890936","https://openalex.org/W1992673035","https://openalex.org/W2028222220","https://openalex.org/W2030087828","https://openalex.org/W2059693475","https://openalex.org/W2102729564","https://openalex.org/W2125822162","https://openalex.org/W2146244985","https://openalex.org/W2150339067","https://openalex.org/W2152293830","https://openalex.org/W2159686758","https://openalex.org/W2159793945","https://openalex.org/W2160983447","https://openalex.org/W2171094216","https://openalex.org/W3127113455","https://openalex.org/W4236835455","https://openalex.org/W4252098605"],"related_works":["https://openalex.org/W2092058806","https://openalex.org/W2093134728","https://openalex.org/W2153512431","https://openalex.org/W2103472145","https://openalex.org/W945629821","https://openalex.org/W166845585","https://openalex.org/W2582962420","https://openalex.org/W156948967","https://openalex.org/W1513459549","https://openalex.org/W1512552654"],"abstract_inverted_index":{"A":[0,51],"schema":[1,13,27,59,64,68,73,80,94,107,121,130,259],"mapping":[2,69],"is":[3,17,57,136,167,275,288],"a":[4,25,34,67,100,139,154,162,171,181,188,233,249,279,292],"specification":[5,135],"that":[6,84,150,251,266,327,350,371],"describes":[7],"how":[8],"data":[9,22,357,379],"structured":[10,23],"under":[11,24],"one":[12],"(the":[14,28],"source":[15,72],"schema)":[16],"to":[18,103,305,319,336,367],"be":[19,197,212,227,320,365],"transformed":[20],"into":[21],"different":[26],"target":[29,79],"schema).":[30],"Schema":[31],"mappings":[32,108,131],"play":[33],"key":[35],"role":[36],"in":[37,54,132,314,378],"numerous":[38],"areas":[39],"of":[40,74,81,106,116,119,129,142,153,157,165,174,180,184,191,205,217,235,269,272,285,321,341,344],"database":[41,44],"systems,":[42],"including":[43],"design,":[45],"information":[46],"integration,":[47],"and":[48,77,109,113,221,247],"model":[49],"management.":[50],"fundamental":[52],"problem":[53],"this":[55,96,262],"context":[56],"composing":[58,258],"mappings:":[60],"given":[61,137],"two":[62,93,120],"successive":[63],"mappings,":[65],"derive":[66],"between":[70],"the":[71,75,78,82,86,92,104,111,117,126,134,151,178,222,254,267,283,302,322,339,361],"first":[76,124],"second":[83],"has":[85],"same":[87],"effect":[88],"as":[89],"applying":[90],"successively":[91],"mappings.In":[95],"paper,":[97],"we":[98,231,243,264,325,348],"give":[99],"rigorous":[101],"semantics":[102],"composition":[105,118,152,179,224,268,284,340],"investigate":[110],"definability":[112],"computational":[114],"complexity":[115],"mappings.":[122,260],"We":[123,148],"study":[125],"important":[127],"case":[128,250],"which":[133,242],"by":[138,170,199,214,278,291,383],"finite":[140,155,163,172,182,189,270,342],"set":[141,156,164,173,183,190,201],"source-to-target":[143,159,175,185,193,206,273,345],"tuple-generating":[144],"dependencies":[145],"(source-to-target":[146],"tgds).":[147],"show":[149,265,326,349],"full":[158,192],"tgds":[160,166,186,194,274,287,297,316,329,352,369],"with":[161,187,239],"always":[168,276],"definable":[169,198,213,277,290],"tgds,":[176,246],"but":[177],"may":[195,210,226],"not":[196,211,309,333],"any":[200,215],"(finite":[202],"or":[203],"infinite)":[204],"tgds;":[207],"furthermore,":[208],"it":[209,372],"formula":[216],"least":[218],"fixed-point":[219],"logic,":[220],"associated":[223],"query":[225],"NP-complete.":[228],"After":[229],"this,":[230],"introduce":[232],"class":[234],"existential":[236],"second-order":[237,245,280,286,293,296,315,328,351,368,384],"formulas":[238],"function":[240],"symbols,":[241],"call":[244],"make":[248],"they":[252],"are":[253,332],"right":[255],"language":[256],"for":[257,356],"To":[261],"effect,":[263],"sets":[271,343],"tgd.":[281,294],"Moreover,":[282],"also":[289],"Our":[295],"allow":[298],"equalities,":[299],"even":[300,338],"though":[301],"obvious":[303],"way":[304],"define":[306,337],"them":[307],"does":[308],"require":[310],"equalities.":[311],"Allowing":[312],"equalities":[313,331],"turns":[317],"out":[318],"essence,":[323],"because":[324],"without":[330],"sufficiently":[334],"expressive":[335],"tgds.":[346,385],"Finally,":[347],"possess":[353],"good":[354],"properties":[355],"exchange.":[358],"In":[359],"particular.":[360],"chase":[362],"procedure":[363],"can":[364],"extended":[366],"so":[370],"produces":[373],"polynomial-time":[374],"computable":[375],"universal":[376],"solutions":[377],"exchange":[380],"settings":[381],"specified":[382]},"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":17},{"year":2013,"cited_by_count":25},{"year":2012,"cited_by_count":11}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}