{"id":"https://openalex.org/W2048728975","doi":"https://doi.org/10.1145/2661829.2661881","title":"Pulling Conjunctive Query Equivalence out of the Bag","display_name":"Pulling Conjunctive Query Equivalence out of the Bag","publication_year":2014,"publication_date":"2014-11-03","ids":{"openalex":"https://openalex.org/W2048728975","doi":"https://doi.org/10.1145/2661829.2661881","mag":"2048728975"},"language":"en","primary_location":{"id":"doi:10.1145/2661829.2661881","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2661829.2661881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management","raw_type":"proceedings-article"},"type":"conference-paper","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/A5070724912","display_name":"Stefan B\u00f6ttcher","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan B\u00f6ttcher","raw_affiliation_strings":["The University of Paderborn, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069839542","display_name":"Sebastian Link","orcid":"https://orcid.org/0000-0002-1816-2863"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Sebastian Link","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand","The University of Auckland, Auckland, New Zealand ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand ,","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100351950","display_name":"Lin Zhang","orcid":"https://orcid.org/0000-0003-3708-9056"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Lin Zhang","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand","The University of Auckland, Auckland, New Zealand ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand ,","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"50"},"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.9990000128746033,"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.9990000128746033,"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/T11719","display_name":"Data Quality and Management","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.798420786857605},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7522854804992676},{"id":"https://openalex.org/keywords/query-by-example","display_name":"Query by Example","score":0.6334060430526733},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.6193734407424927},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5582978129386902},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.535637378692627},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5244410634040833},{"id":"https://openalex.org/keywords/web-query-classification","display_name":"Web query classification","score":0.5208702087402344},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.48457181453704834},{"id":"https://openalex.org/keywords/spatial-query","display_name":"Spatial query","score":0.4802951514720917},{"id":"https://openalex.org/keywords/query-expansion","display_name":"Query expansion","score":0.4749210774898529},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.472764790058136},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4431344270706177},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4345184862613678},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4309072494506836},{"id":"https://openalex.org/keywords/rdf-query-language","display_name":"RDF query language","score":0.41589564085006714},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40499892830848694},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3246520161628723},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.2776743769645691},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.2711804509162903},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14590471982955933},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.07999426126480103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.798420786857605},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7522854804992676},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.6334060430526733},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.6193734407424927},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5582978129386902},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.535637378692627},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5244410634040833},{"id":"https://openalex.org/C118689300","wikidata":"https://www.wikidata.org/wiki/Q7978614","display_name":"Web query classification","level":4,"score":0.5208702087402344},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.48457181453704834},{"id":"https://openalex.org/C172722865","wikidata":"https://www.wikidata.org/wiki/Q2302053","display_name":"Spatial query","level":5,"score":0.4802951514720917},{"id":"https://openalex.org/C99016210","wikidata":"https://www.wikidata.org/wiki/Q5488129","display_name":"Query expansion","level":2,"score":0.4749210774898529},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.472764790058136},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4431344270706177},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4345184862613678},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4309072494506836},{"id":"https://openalex.org/C96956885","wikidata":"https://www.wikidata.org/wiki/Q6138701","display_name":"RDF query language","level":5,"score":0.41589564085006714},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40499892830848694},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3246520161628723},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.2776743769645691},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2711804509162903},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14590471982955933},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.07999426126480103},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2661829.2661881","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2661829.2661881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G6886839850","display_name":null,"funder_award_id":"FRG 12-09","funder_id":"https://openalex.org/F4320320774","funder_display_name":"Royal Society Te Ap\u0101rangi"}],"funders":[{"id":"https://openalex.org/F4320320006","display_name":"Royal Society","ror":"https://ror.org/03wnrjx87"},{"id":"https://openalex.org/F4320320774","display_name":"Royal Society Te Ap\u0101rangi","ror":"https://ror.org/04tajb587"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1498250013","https://openalex.org/W1971847909","https://openalex.org/W1979514837","https://openalex.org/W2005032394","https://openalex.org/W2048531653","https://openalex.org/W2057128392","https://openalex.org/W2062088877","https://openalex.org/W2086073919","https://openalex.org/W2105845727","https://openalex.org/W2145459259","https://openalex.org/W2156717879","https://openalex.org/W2163491591","https://openalex.org/W2164121405","https://openalex.org/W2171094216","https://openalex.org/W2401878294","https://openalex.org/W3120740533"],"related_works":["https://openalex.org/W1003283331","https://openalex.org/W2236547548","https://openalex.org/W2607400785","https://openalex.org/W2017888407","https://openalex.org/W2369494928","https://openalex.org/W2406556739","https://openalex.org/W1998152264","https://openalex.org/W2361332868","https://openalex.org/W2128834514","https://openalex.org/W1984116761"],"abstract_inverted_index":{"We":[0,154],"present":[1],"LECQTER,":[2],"a":[3,7,14,77,135,171],"tool":[4],"for":[5,13,49,150],"generating":[6],"'perfect":[8],"example'":[9],"database,":[10],"called":[11],"exemplar,":[12],"given":[15,22],"conjunctive":[16,55,64],"query.":[17,27,153],"Indeed,":[18],"exemplars":[19,110,125,166,178],"separate":[20,134],"the":[21,31,39,42,73,82,85,104,145,148,151,160,165,175],"query":[23,32,86],"from":[24,52],"any":[25],"non-equivalent":[26,138],"Therefore,":[28],"LECQTER":[29,44,101],"reduces":[30],"equivalence":[33],"problem":[34],"to":[35,58,61,158],"an":[36],"evaluation":[37],"of":[38,76,84,100,107,124,137,147,164,177],"queries":[40,57,140],"on":[41,88,103],"exemplar.":[43],"can":[45,133],"thus":[46],"be":[47],"used":[48],"applications":[50],"ranging":[51],"testing":[53],"coded":[54],"SQL":[56,65,94,108],"learning":[59],"how":[60],"write":[62],"sound":[63],"queries,":[66],"as":[67],"it":[68],"provides":[69],"immediate":[70],"feedback":[71],"about":[72],"semantic":[74],"correctness":[75,83],"query,":[78],"and":[79,130,162],"not":[80,112],"just":[81],"answer":[87],"some":[89],"database":[90],"as,":[91],"e.g.,":[92],"other":[93],"tutoring":[95],"systems.":[96],"This":[97],"key":[98],"novelty":[99],"relies":[102],"bag":[105],"semantics":[106],"since":[109],"do":[111],"always":[113],"exist":[114],"under":[115,179],"set":[116,180],"semantics.":[117,181],"Detailed":[118],"experiments":[119],"show":[120],"that":[121,131,141,173],"our":[122],"construction":[123],"is":[126,142],"efficient":[127],"in":[128,144],"practice,":[129],"they":[132],"number":[136],"user":[139],"exponential":[143],"size":[146,163],"exemplar":[149],"target":[152],"identify":[155],"natural":[156],"parameters":[157],"control":[159],"time":[161],"constructed.":[167],"Finally,":[168],"we":[169],"offer":[170],"solution":[172],"overcomes":[174],"non-existence":[176]},"counts_by_year":[{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}