{"id":"https://openalex.org/W6887910536","doi":"https://doi.org/10.17877/de290r-24219","title":"Query evaluation revised: parallel, distributed, via rewritings","display_name":"Query evaluation revised: parallel, distributed, via rewritings","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W6887910536","doi":"https://doi.org/10.17877/de290r-24219"},"language":"en","primary_location":{"id":"doi:10.17877/de290r-24219","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-24219","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.17877/de290r-24219","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Spinrath, Christopher","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Spinrath, Christopher","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38155677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.8651999831199646,"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.8651999831199646,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.03420000150799751,"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/T11106","display_name":"Data Management and Algorithms","score":0.016699999570846558,"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/undecidable-problem","display_name":"Undecidable problem","score":0.9315000176429749},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.8123999834060669},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6259999871253967},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5375000238418579},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5146999955177307},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5145999789237976},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.4634000062942505},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4537000060081482},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.4339999854564667}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9315000176429749},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.8123999834060669},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6496999859809875},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6259999871253967},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5375000238418579},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5146999955177307},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5145999789237976},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.484499990940094},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.4634000062942505},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4537000060081482},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.4339999854564667},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.4334999918937683},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.387800008058548},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.38589999079704285},{"id":"https://openalex.org/C2989070954","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database query","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.3573000133037567},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2985999882221222},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.2865000069141388},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.28619998693466187},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.17877/de290r-24219","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-24219","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.17877/de290r-24219","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-24219","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"is":[1,54,109,125,155,170,182,198,219,227,248,257,291,299,320,352],"a":[2,71,118,195,239,243,249,280],"thesis":[3],"on":[4],"query":[5,90,119,241,290,326],"evaluation":[6,32,76,115,135],"in":[7,50,63,102],"parallel":[8,31],"and":[9,12,73,96,120,127,175,190,242,275,311,327],"distributed":[10,114,126,134],"settings,":[11],"structurally":[13,229,281],"simple":[14,230,282],"rewritings.":[15,231],"It":[16,53,334],"consists":[17],"of":[18,29,38,113,215,245,267,348],"three":[19],"parts.":[20],"In":[21],"the":[22,27,36,44,100,103,133,137,141,160,203,207,213,254,260,265,288,318,324,328,338,346,349],"first":[23],"part,":[24],"we":[25,201,315],"investigate":[26],"efficiency":[28],"constant-time":[30,86],"algorithms.":[33],"That":[34],"is,":[35],"number":[37,214],"required":[39,46,216],"processors":[40],"or,":[41],"asymptotically":[42],"equivalent,":[43],"work":[45,81],"to":[47,259],"evaluate":[48],"queries":[49,59,274],"constant":[51,64],"time.":[52,65],"known":[55,75],"that":[56,151,168,256,277,317],"relational":[57],"algebra":[58],"can":[60],"be":[61],"evaluated":[62],"However,":[66,184],"work-efficiency":[67],"has":[68],"not":[69],"been":[70],"focus,":[72],"indeed":[74],"algorithms":[77,87],"yield":[78,136],"huge":[79],"(polynomial)":[80],"bounds.":[82],"We":[83,166,263,284],"establish":[84],"work-efficient":[85],"for":[88,144,153,164,173,179,187,206,238,270,279,307],"several":[89],"classes:":[91],"(free-connex)":[92],"acyclic,":[93,292,309],"semi-join":[94],"algebra,":[95],"natural":[97],"join":[98],"queries;":[99],"latter":[101],"worst-case":[104],"framework.":[105],"The":[106,224,232],"second":[107],"part":[108,226],"about":[110,228],"deciding":[111,185],"parallel-correctness":[112,152,169,186],"strategies:":[116],"Given":[117],"policies":[121,193],"specifying":[122],"how":[123],"data":[124],"communicated":[128],"among":[129],"multiple":[130],"servers,":[131],"does":[132],"same":[138,204],"result":[139],"as":[140],"classical":[142],"evaluation,":[143],"every":[145],"database?":[146],"Ketsman":[147],"et":[148],"al.":[149],"proved":[150],"Datalog":[154,177,189],"undecidable;":[156],"by":[157],"reduction":[158],"from":[159],"undecidable":[161,172],"containment":[162,181],"problem":[163,235,269,319],"Datalog.":[165],"show":[167],"already":[171],"monadic":[174],"frontier-guarded":[176,188],"queries,":[178],"which":[180,210],"decidable.":[183],"constraint-based":[191],"communication":[192,217],"satisfying":[194],"certain":[196],"property":[197],"2ExpTime-complete.":[199],"Furthermore,":[200,314],"obtain":[202],"bounds":[205],"parallel-boundedness":[208],"problem,":[209],"asks":[211,236,278],"whether":[212],"rounds":[218],"bounded,":[220],"over":[221,253],"all":[222],"databases.":[223],"third":[225],"(classical)":[233],"rewriting":[234,295,301],"whether,":[237],"given":[240,261,289,325],"set":[244],"views,":[246],"there":[247,298],"query,":[250],"called":[251],"rewriting,":[252],"views":[255,276,329,339],"equivalent":[258],"query.":[262],"study":[264],"variant":[266],"this":[268],"(subclasses":[271],"of)":[272],"conjunctive":[273],"rewriting.":[283],"prove":[285,316],"that,":[286],"if":[287,297,323,337],"an":[293],"acyclic":[294,331,342],"exists":[296],"any":[300],"at":[302],"all.":[303],"Analogous":[304],"statements":[305],"hold":[306],"free-connex":[308,341],"hierarchical,":[310],"q-hierarchical":[312,344],"queries.":[313],"NP-hard,":[321],"even":[322],"are":[330,340],"or":[332,343],"hierarchical.":[333],"becomes":[335],"tractable":[336],"(and":[345],"arity":[347],"database":[350],"schema":[351],"bounded).":[353]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}