{"id":"https://openalex.org/W2533772561","doi":"https://doi.org/10.1145/2976736","title":"Guarded-Based Disjunctive Tuple-Generating Dependencies","display_name":"Guarded-Based Disjunctive Tuple-Generating Dependencies","publication_year":2016,"publication_date":"2016-11-02","ids":{"openalex":"https://openalex.org/W2533772561","doi":"https://doi.org/10.1145/2976736","mag":"2533772561"},"language":"en","primary_location":{"id":"doi:10.1145/2976736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976736","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/20.500.11820/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078941176","display_name":"Pierre Bourhis","orcid":"https://orcid.org/0000-0001-5699-0320"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]},{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Bourhis","raw_affiliation_strings":["CNRS CRIStAL, University of Lille 1 and INRIA Lille"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS CRIStAL, University of Lille 1 and INRIA Lille","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072659963","display_name":"Marco Manna","orcid":"https://orcid.org/0000-0003-3323-9328"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Manna","raw_affiliation_strings":["University of Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050387054","display_name":"Michael Morak","orcid":"https://orcid.org/0000-0002-2077-7672"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Michael Morak","raw_affiliation_strings":["Vienna University of Technology, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067962748","display_name":"Andr\u00e9as Pieris","orcid":"https://orcid.org/0000-0003-4779-3469"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andreas Pieris","raw_affiliation_strings":["University of Edinburgh, Scotland, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Scotland, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.1237,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.97166647,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"41","issue":"4","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987000226974487,"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/tuple","display_name":"Tuple","score":0.8285194635391235},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7915995121002197},{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.7514554262161255},{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.7253242135047913},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6973561644554138},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6969695687294006},{"id":"https://openalex.org/keywords/hyperbolic-tree","display_name":"Hyperbolic tree","score":0.6961839199066162},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5833653807640076},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.552881121635437},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5223211646080017},{"id":"https://openalex.org/keywords/tree-decomposition","display_name":"Tree decomposition","score":0.4612646698951721},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.43882137537002563},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.43170279264450073},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.4247775673866272},{"id":"https://openalex.org/keywords/functional-dependency","display_name":"Functional dependency","score":0.4243677258491516},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35002946853637695},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.24855557084083557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23791968822479248},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.19642680883407593},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.1413620412349701},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.13991934061050415},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.11547118425369263},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.11205551028251648},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.08778566122055054}],"concepts":[{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.8285194635391235},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7915995121002197},{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.7514554262161255},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.7253242135047913},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6973561644554138},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6969695687294006},{"id":"https://openalex.org/C97654310","wikidata":"https://www.wikidata.org/wiki/Q574023","display_name":"Hyperbolic tree","level":4,"score":0.6961839199066162},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5833653807640076},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.552881121635437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5223211646080017},{"id":"https://openalex.org/C70501317","wikidata":"https://www.wikidata.org/wiki/Q462095","display_name":"Tree decomposition","level":5,"score":0.4612646698951721},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.43882137537002563},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.43170279264450073},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.4247775673866272},{"id":"https://openalex.org/C26320393","wikidata":"https://www.wikidata.org/wiki/Q597053","display_name":"Functional dependency","level":3,"score":0.4243677258491516},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35002946853637695},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.24855557084083557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23791968822479248},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.19642680883407593},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.1413620412349701},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.13991934061050415},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.11547118425369263},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.11205551028251648},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.08778566122055054},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","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/C70984080","wikidata":"https://www.wikidata.org/wiki/Q2619102","display_name":"Hyperbolic manifold","level":3,"score":0.0},{"id":"https://openalex.org/C92047909","wikidata":"https://www.wikidata.org/wiki/Q204034","display_name":"Hyperbolic function","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2976736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976736","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bourhis, P, Manna, M, Morak, M & Pieris, A 2016, 'Guarded-Based Disjunctive Tuple-Generating Dependencies', ACM Transactions on Database Systems, vol. 41, no. 4, 27. https://doi.org/10.1145/2976736","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/74f8849a-ac27-4a9c-b380-702d5b8f5f1d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bourhis, P, Manna, M, Morak, M & Pieris, A 2016, 'Guarded-Based Disjunctive Tuple-Generating Dependencies', ACM Transactions on Database Systems, vol. 41, no. 4, 27. https://doi.org/10.1145/2976736","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2771178561","display_name":null,"funder_award_id":"F/020016/01-02/X27","funder_id":"https://openalex.org/F4320324632","funder_display_name":"Ministero dello Sviluppo Economico"},{"id":"https://openalex.org/G3207713938","display_name":"Aggregation Queries","funder_award_id":"ANR-14-CE25-0017","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5332015558","display_name":null,"funder_award_id":"00001","funder_id":"https://openalex.org/F4320324632","funder_display_name":"Ministero dello Sviluppo Economico"},{"id":"https://openalex.org/G5764760168","display_name":"HINT:Heterogenous Information Integration","funder_award_id":"P 25207","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8238292487","display_name":null,"funder_award_id":"14-CE25","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8802583141","display_name":"SEE: SPARQL Evaluation and Extensions","funder_award_id":"ICT12-015","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"}],"funders":[{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321004","display_name":"\u00d6sterreichischen Akademie der Wissenschaften","ror":"https://ror.org/03anc3s24"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320324632","display_name":"Ministero dello Sviluppo Economico","ror":"https://ror.org/011z3ff80"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W1699565","https://openalex.org/W1483388050","https://openalex.org/W1483892218","https://openalex.org/W1509428113","https://openalex.org/W1514379438","https://openalex.org/W1555563750","https://openalex.org/W1569370144","https://openalex.org/W1615193254","https://openalex.org/W1746884077","https://openalex.org/W1824207140","https://openalex.org/W1971428581","https://openalex.org/W1988045490","https://openalex.org/W1988663974","https://openalex.org/W1989783863","https://openalex.org/W1991981864","https://openalex.org/W1993268751","https://openalex.org/W2001399171","https://openalex.org/W2005032394","https://openalex.org/W2007877603","https://openalex.org/W2008135441","https://openalex.org/W2028222220","https://openalex.org/W2031641275","https://openalex.org/W2033325972","https://openalex.org/W2040566369","https://openalex.org/W2042287357","https://openalex.org/W2044118198","https://openalex.org/W2050480346","https://openalex.org/W2057069578","https://openalex.org/W2083735344","https://openalex.org/W2094403718","https://openalex.org/W2102729564","https://openalex.org/W2103738827","https://openalex.org/W2104356397","https://openalex.org/W2134483537","https://openalex.org/W2137862151","https://openalex.org/W2139315672","https://openalex.org/W2139894293","https://openalex.org/W2145465694","https://openalex.org/W2148096737","https://openalex.org/W2157893030","https://openalex.org/W2169602474","https://openalex.org/W2206197098","https://openalex.org/W2288402373","https://openalex.org/W2295882966","https://openalex.org/W2341631904","https://openalex.org/W2913507641","https://openalex.org/W2950379689","https://openalex.org/W3023186102","https://openalex.org/W3031684986","https://openalex.org/W3100150857","https://openalex.org/W3101483322","https://openalex.org/W3124832616","https://openalex.org/W4206031975","https://openalex.org/W4391177866"],"related_works":["https://openalex.org/W4389073304","https://openalex.org/W2480025839","https://openalex.org/W4320352088","https://openalex.org/W2185579824","https://openalex.org/W1924882997","https://openalex.org/W163762105","https://openalex.org/W2032444001","https://openalex.org/W2401514316","https://openalex.org/W2400665160","https://openalex.org/W2533772561"],"abstract_inverted_index":{"We":[0,24,89,121,196],"perform":[1],"an":[2],"in-depth":[3],"complexity":[4,77,115,135,173,230,289],"analysis":[5],"of":[6,12,44,46,62,76,86,97,101,116,125,136,145,152,185,211,225,236,260,270],"query":[7,65,205,274,292],"answering":[8,66,206,293],"under":[9,29,67,119,209,294],"guarded-based":[10,68,212],"classes":[11,210],"disjunctive":[13],"tuple-generating":[14,69],"dependencies":[15,45,237,271],"(DTGDs),":[16],"focusing":[17],"on":[18,64,113,143,149,193,258],"(unions":[19],"of)":[20],"conjunctive":[21],"queries":[22,100,124,200],"((U)CQs).":[23],"show":[25,122,197],"that":[26,57,123,198,214,238],"the":[27,59,74,83,114,117,134,158,172,183,204,223,226,229,234,245,268,273],"problem":[28,118,159,207],"investigation":[30],"is":[31,52],"very":[32,48],"hard,":[33],"namely":[34],"2E":[35,161],"xp":[36,162,177],"T":[37,163,178],"ime":[38,164,179],"-complete,":[39],"even":[40,139],"for":[41,78,287,291],"fixed":[42,150],"sets":[43,151],"a":[47,53,110,251,284],"restricted":[49],"form.":[50],"This":[51],"surprising":[54],"lower":[55],"bound":[56],"demonstrates":[58],"enormous":[60],"impact":[61,112],"disjunction":[63],"dependencies,":[70],"and":[71,104,106,128,263,272],"also":[72],"reveals":[73],"source":[75],"expressive":[79],"logics":[80],"such":[81],"as":[82,283],"guarded":[84],"fragment":[85],"first-order":[87],"logic.":[88],"then":[90],"proceed":[91],"to":[92,175,220],"investigate":[93],"whether":[94],"prominent":[95],"subclasses":[96],"(U)CQs":[98],"(i.e.,":[99],"bounded":[102,126,129,146,261],"treewidth":[103,127],"hypertree-width,":[105],"acyclic":[107,155],"queries)":[108],"have":[109,240],"positive":[111],"consideration.":[120],"hypertree-width":[130],"do":[131,201],"not":[132,202],"reduce":[133],"our":[137,191,278],"problem,":[138],"if":[140,255],"we":[141,189,249,256],"focus":[142,190,257],"predicates":[144,259],"arity":[147],"or":[148],"DTGDs.":[153],"Regarding":[154],"queries,":[156],"although":[157],"remains":[160],"-complete":[165],"in":[166,168,222,233,244],"general,":[167],"some":[169],"relevant":[170],"settings":[171],"reduces":[174],"E":[176],"-complete.":[180],"Finally,":[181],"with":[182],"aim":[184],"identifying":[186],"tractable":[187],"cases,":[188],"attention":[192],"atomic":[194,199],"queries.":[195],"make":[203],"easier":[208],"DTGDs":[213],"allow":[215],"more":[216],"than":[217],"one":[218,242],"atom":[219,243],"occur":[221],"body":[224],"dependencies.":[227],"However,":[228],"significantly":[231],"decreases":[232],"case":[235],"can":[239,280],"only":[241],"body.":[246],"In":[247],"particular,":[248],"obtain":[250],"P":[252],"time":[253],"-completeness":[254],"arity,":[262],"AC":[264],"0":[265],"-membership":[266],"when":[267],"set":[269],"are":[275],"fixed.":[276],"Interestingly,":[277],"results":[279,290],"be":[281],"used":[282],"generic":[285],"tool":[286],"establishing":[288],"various":[295],"description":[296],"logics.":[297]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":7}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}