{"id":"https://openalex.org/W2096470974","doi":"https://doi.org/10.1145/1807085.1807102","title":"Semantic query optimization in the presence of types","display_name":"Semantic query optimization in the presence of types","publication_year":2010,"publication_date":"2010-06-06","ids":{"openalex":"https://openalex.org/W2096470974","doi":"https://doi.org/10.1145/1807085.1807102","mag":"2096470974"},"language":"en","primary_location":{"id":"doi:10.1145/1807085.1807102","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1807085.1807102","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-ninth 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/A5103100716","display_name":"Michael Meier","orcid":"https://orcid.org/0000-0002-8443-7618"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael Meier","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101899149","display_name":"Michael Schmidt","orcid":"https://orcid.org/0009-0002-3292-0349"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Schmidt","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110199019","display_name":"Fang Wei","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fang Wei","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113532644","display_name":"Georg Lausen","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Lausen","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103100716"],"corresponding_institution_ids":["https://openalex.org/I161046081"],"apc_list":null,"apc_paid":null,"fwci":4.9857,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.95583592,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"111","last_page":"122"},"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.9995999932289124,"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.9995999932289124,"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.9990000128746033,"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.9987999796867371,"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/conjunctive-query","display_name":"Conjunctive query","score":0.7789353132247925},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7123615741729736},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.7101986408233643},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6975917816162109},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5673100352287292},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5371091961860657},{"id":"https://openalex.org/keywords/chase","display_name":"Chase","score":0.5308818817138672},{"id":"https://openalex.org/keywords/spatial-query","display_name":"Spatial query","score":0.5230963230133057},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.5092374086380005},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.439540833234787},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.43469563126564026},{"id":"https://openalex.org/keywords/materialized-view","display_name":"Materialized view","score":0.4253709614276886},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.25178512930870056},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.24297788739204407},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.23726391792297363},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.2357858121395111},{"id":"https://openalex.org/keywords/view","display_name":"View","score":0.22280040383338928},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19102269411087036},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.17644909024238586},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.10524389147758484},{"id":"https://openalex.org/keywords/database-design","display_name":"Database design","score":0.08707466721534729}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7789353132247925},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7123615741729736},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.7101986408233643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6975917816162109},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5673100352287292},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5371091961860657},{"id":"https://openalex.org/C131924884","wikidata":"https://www.wikidata.org/wiki/Q5087085","display_name":"Chase","level":2,"score":0.5308818817138672},{"id":"https://openalex.org/C172722865","wikidata":"https://www.wikidata.org/wiki/Q2302053","display_name":"Spatial query","level":5,"score":0.5230963230133057},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.5092374086380005},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.439540833234787},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.43469563126564026},{"id":"https://openalex.org/C98199447","wikidata":"https://www.wikidata.org/wiki/Q2445044","display_name":"Materialized view","level":4,"score":0.4253709614276886},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.25178512930870056},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.24297788739204407},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.23726391792297363},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2357858121395111},{"id":"https://openalex.org/C54239708","wikidata":"https://www.wikidata.org/wiki/Q1329910","display_name":"View","level":3,"score":0.22280040383338928},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19102269411087036},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.17644909024238586},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.10524389147758484},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.08707466721534729},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1807085.1807102","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1807085.1807102","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-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W183246664","https://openalex.org/W1512639828","https://openalex.org/W1547760610","https://openalex.org/W1589966576","https://openalex.org/W1824207140","https://openalex.org/W1988662949","https://openalex.org/W1992305137","https://openalex.org/W1992673035","https://openalex.org/W1998914194","https://openalex.org/W2006519067","https://openalex.org/W2013096722","https://openalex.org/W2025731090","https://openalex.org/W2028222220","https://openalex.org/W2046407079","https://openalex.org/W2049802244","https://openalex.org/W2050658385","https://openalex.org/W2051192787","https://openalex.org/W2057069578","https://openalex.org/W2060876856","https://openalex.org/W2065251436","https://openalex.org/W2084130127","https://openalex.org/W2087475328","https://openalex.org/W2102729564","https://openalex.org/W2103838931","https://openalex.org/W2104525376","https://openalex.org/W2107115563","https://openalex.org/W2115656500","https://openalex.org/W2117849706","https://openalex.org/W2124061668","https://openalex.org/W2125364400","https://openalex.org/W2126717690","https://openalex.org/W2137382312","https://openalex.org/W2137862151","https://openalex.org/W2141591281","https://openalex.org/W2142317753","https://openalex.org/W2143645917","https://openalex.org/W2145813209","https://openalex.org/W2152191782","https://openalex.org/W2152805807","https://openalex.org/W2154709738","https://openalex.org/W2169196165","https://openalex.org/W2171094216","https://openalex.org/W2752197104","https://openalex.org/W2914659833","https://openalex.org/W4230287978","https://openalex.org/W4256119157"],"related_works":["https://openalex.org/W1483388050","https://openalex.org/W2137382312","https://openalex.org/W2236547548","https://openalex.org/W2187208864","https://openalex.org/W1998152264","https://openalex.org/W2365015302","https://openalex.org/W2752197104","https://openalex.org/W3105622409","https://openalex.org/W2096470974","https://openalex.org/W1824207140"],"abstract_inverted_index":{"Both":[0],"semantic":[1],"and":[2,54,64,76,89,98,132],"type-based":[3],"query":[4,46,67,122],"optimization":[5,47],"rely":[6],"on":[7],"the":[8,17,21,49,60,92,102,105,134],"idea":[9],"that":[10,113],"queries":[11,75,85],"often":[12],"exhibit":[13],"non-trivial":[14],"rewritings":[15],"if":[16],"state":[18],"space":[19],"of":[20,51,74,94,104,136],"database":[22],"is":[23,124],"restricted.":[24],"Despite":[25],"their":[26],"close":[27],"connection,":[28],"these":[29],"two":[30],"problems":[31],"to":[32,70],"date":[33],"have":[34],"always":[35,125],"been":[36],"studied":[37],"separately.":[38],"We":[39,100],"present":[40],"a":[41,128],"unifying,":[42],"logic-based":[43],"framework":[44],"for":[45,119],"in":[48,91,107],"presence":[50,93],"data":[52],"dependencies":[53,95],"type":[55],"information.":[56],"It":[57],"builds":[58],"upon":[59],"classical":[61],"chase":[62,106],"algorithm":[63],"extends":[65],"existing":[66],"minimization":[68],"techniques":[69],"considerably":[71],"larger":[72],"classes":[73],"dependencies.":[77],"In":[78],"particular,":[79],"our":[80],"setting":[81],"requires":[82],"chasing":[83],"conjunctive":[84],"(possibly":[86],"with":[87],"union":[88],"negation)":[90],"containing":[96],"negation":[97],"disjunction.":[99],"study":[101],"applicability":[103],"this":[108],"setting,":[109],"develop":[110],"novel":[111],"conditions":[112],"guarantee":[114],"its":[115],"termination,":[116],"identify":[117],"fragments":[118],"which":[120],"minimal":[121],"computation":[123],"possible":[126],"(w.r.t.":[127],"generic":[129],"cost":[130],"function),":[131],"investigate":[133],"complexity":[135],"related":[137],"decision":[138],"problems.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}