{"id":"https://openalex.org/W2150616017","doi":"https://doi.org/10.1145/1514894.1514930","title":"Containment of conjunctive queries on annotated relations","display_name":"Containment of conjunctive queries on annotated relations","publication_year":2009,"publication_date":"2009-03-23","ids":{"openalex":"https://openalex.org/W2150616017","doi":"https://doi.org/10.1145/1514894.1514930","mag":"2150616017"},"language":"en","primary_location":{"id":"doi:10.1145/1514894.1514930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1514894.1514930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1514894.1514930","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on Database Theory","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1514894.1514930","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101760885","display_name":"Todd J. Green","orcid":"https://orcid.org/0000-0001-6490-2669"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Todd J. Green","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101760885"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":20.9074,"has_fulltext":true,"cited_by_count":61,"citation_normalized_percentile":{"value":0.99175359,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"296","last_page":"309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9916999936103821,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9896000027656555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.9443718791007996},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6355920433998108},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5740916728973389},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.5480806827545166},{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.5361008644104004},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5218204855918884},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.4908052384853363},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49070417881011963},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.45735564827919006},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.4455486238002777},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.4312204122543335},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.41758713126182556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4065929651260376},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.34579575061798096},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.29341262578964233},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2803071141242981},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2670708894729614},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23007333278656006}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.9443718791007996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6355920433998108},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5740916728973389},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.5480806827545166},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.5361008644104004},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5218204855918884},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.4908052384853363},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49070417881011963},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.45735564827919006},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.4455486238002777},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.4312204122543335},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.41758713126182556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4065929651260376},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.34579575061798096},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.29341262578964233},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2803071141242981},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2670708894729614},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23007333278656006},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.0},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1514894.1514930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1514894.1514930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1514894.1514930","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on Database Theory","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/1514894.1514930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1514894.1514930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1514894.1514930","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Conference on Database Theory","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7300000190734863,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2015090911","display_name":"II: Data Cooperatives:  Rapid and Incremental Data Sharing with Applications to Bioinformatics","funder_award_id":"0513778","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3643259893","display_name":"Collaborative Research:  Core Database Technologies to Enable the Integration of AToL Information","funder_award_id":"0629846","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3925053247","display_name":null,"funder_award_id":"IIS-044797205137780629846","funder_id":"https://openalex.org/F4320337389","funder_display_name":"Division of Information and Intelligent Systems"},{"id":"https://openalex.org/G6489217689","display_name":"CAREER: Orchestra - Managing the Collaborative Sharing of Evolving Data","funder_award_id":"0447972","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337389","display_name":"Division of Information and Intelligent Systems","ror":"https://ror.org/053a2cp42"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2150616017.pdf","grobid_xml":"https://content.openalex.org/works/W2150616017.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W655258421","https://openalex.org/W1029344438","https://openalex.org/W1487478819","https://openalex.org/W1500864568","https://openalex.org/W1552694902","https://openalex.org/W1560182867","https://openalex.org/W1967999304","https://openalex.org/W1975612259","https://openalex.org/W1979514837","https://openalex.org/W1983178058","https://openalex.org/W1990391007","https://openalex.org/W1992609556","https://openalex.org/W1998637316","https://openalex.org/W2025868887","https://openalex.org/W2033026830","https://openalex.org/W2048531653","https://openalex.org/W2055586952","https://openalex.org/W2056660085","https://openalex.org/W2075422000","https://openalex.org/W2079590017","https://openalex.org/W2081973669","https://openalex.org/W2090337980","https://openalex.org/W2096219859","https://openalex.org/W2099477710","https://openalex.org/W2121043820","https://openalex.org/W2125332694","https://openalex.org/W2125399128","https://openalex.org/W2156717879","https://openalex.org/W2163491591","https://openalex.org/W2164688391","https://openalex.org/W2165211504","https://openalex.org/W2293299776","https://openalex.org/W2293935537","https://openalex.org/W2293938906","https://openalex.org/W4243715249"],"related_works":["https://openalex.org/W4299423393","https://openalex.org/W1497067119","https://openalex.org/W1969587526","https://openalex.org/W1483388050","https://openalex.org/W4299501443","https://openalex.org/W4298411595","https://openalex.org/W2137382312","https://openalex.org/W2004485491","https://openalex.org/W2964058024","https://openalex.org/W1894718966"],"abstract_inverted_index":{"We":[0,55,128],"study":[1],"containment":[2,104,126],"and":[3,21,46,60,68,76,100,140],"equivalence":[4,145],"of":[5,15,24,39,52,78,84,105,107,125],"(unions":[6],"of)":[7],"conjunctive":[8,74,79,108,141],"queries":[9,27,75,109,142],"on":[10,28,119,122],"relations":[11,20],"annotated":[12,48],"with":[13,49,65],"elements":[14],"a":[16,33,37],"commutative":[17],"semiring.":[18],"Such":[19],"the":[22,102,123,147],"semantics":[23,99],"positive":[25,57,134],"relational":[26],"them":[29],"were":[30],"introduced":[31],"in":[32],"recent":[34],"paper":[35],"as":[36,149],"generalization":[38],"set":[40],"semantics,":[41,43],"bag":[42,98],"incomplete":[44],"databases,":[45],"databases":[47,64],"various":[50],"kinds":[51],"provenance":[53,69,91],"information.":[54],"obtain":[56],"decidability":[58],"results":[59,86],"complexity":[61],"characterizations":[62],"for":[63,72,132],"lineage,":[66],"why-provenance,":[67],"polynomial":[70,92],"annotations,":[71],"both":[73],"unions":[77,106],"queries.":[80],"At":[81],"least":[82],"one":[83],"these":[85],"is":[87,110,146],"surprising":[88],"given":[89],"that":[90,131],"annotations":[93],"seem":[94],"\"more":[95],"expressive\"":[96],"than":[97],"under":[101],"latter,":[103],"known":[111],"to":[112],"be":[113],"undecidable.":[114],"The":[115],"decision":[116],"procedures":[117],"rely":[118],"interesting":[120],"variations":[121],"notion":[124],"mappings.":[127],"also":[129],"show":[130],"any":[133],"semiring":[135],"(a":[136],"very":[137],"large":[138],"class)":[139],"without":[143],"self-joins,":[144],"same":[148],"isomorphism.":[150]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":6},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}