Tractability beyond β-acyclicity for conjunctive queries with negation

Tractability beyond β-acyclicity for conjunctive queries with negation

Numerous fundamental database and reasoning problems are known to be NP-hard in general but tractable on instances where the underlying hypergraph structure is β-acyclic. Despite the importance of many of these problems, there has been little success in generalizing these results beyond acyclicity....

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Lanzinger, M
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Association for Computing Machinery 2021

Eitemau Tebyg

Tractability beyond β-acyclicity for conjunctive queries with negation and SAT
gan: Lanzinger, MP
Cyhoeddwyd: (2022)

The complexity of acyclic conjunctive queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (2001)

The Complexity of Acyclic Conjunctive Queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (1998)

Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons
gan: Sherkhonov, E, et al.
Cyhoeddwyd: (2016)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
gan: Krötzsch, M, et al.
Cyhoeddwyd: (2007)

The complexity of conjunctive queries with degree 2
gan: Lanzinger, M
Cyhoeddwyd: (2022)

Counting answers to unions of conjunctive queries: natural tractability criteria and meta-complexity
gan: Focke, J, et al.
Cyhoeddwyd: (2024)

On Tractable Queries and Constraints
gan: Gottlob, G, et al.
Cyhoeddwyd: (1999)

Hypertree Decompositions and Tractable Queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (1998)

Hypertree Decompositions and Tractable Queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (2002)

Hypertree Decompositions and Tractable Queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (1999)

Hypertree Decompositions and Tractable Queries
gan: Gottlob, G, et al.
Cyhoeddwyd: (1999)

Boolean tensor decomposition for conjunctive queries with negation
gan: Abo Khamis, M, et al.
Cyhoeddwyd: (2019)

Tractable query answering for description logics via query rewriting
gan: Perez-Urbina, H, et al.
Cyhoeddwyd: (2010)

Tractable Query Answering over Conceptual Schemata
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Tractable Query Answering over Ontologies with Datalog+⁄−
gan: Calì, A, et al.
Cyhoeddwyd: (2009)

Approximately counting answers to conjunctive queries with disequalities and negations
gan: Focke, J, et al.
Cyhoeddwyd: (2024)

Approximately counting answers to conjunctive queries with disequalities and negations
gan: Focke, J, et al.
Cyhoeddwyd: (2022)

Rewriting with Acyclic Queries: Mind Your Head
gan: Gaetano Geck, et al.
Cyhoeddwyd: (2023-11-01)

Acyclicity Conditions and their Application to Query Answering in Description Logics
gan: Grau, B, et al.
Cyhoeddwyd: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
gan: Grau, B, et al.
Cyhoeddwyd: (2012)

Tractable query answering and rewriting under description logic constraints.
gan: Pérez-Urbina, H, et al.
Cyhoeddwyd: (2010)

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation
gan: Fink, RD
Cyhoeddwyd: (2014)

Tractable Query Answering over Conceptual Schemata (Extended Abstract)
gan: Calì, A, et al.
Cyhoeddwyd: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
gan: Pérez−Urbina, H, et al.
Cyhoeddwyd: (2009)

Path querying on acyclic graphs using Boolean grammars
gan: Ekaterina Nikolaevna Shemetova, et al.
Cyhoeddwyd: (2019-10-01)

Conjunctive queries with negation over DL-Lite: A closer look
gan: Gutiérrez-Basulto, V, et al.
Cyhoeddwyd: (2013)

Semantic optimization of conjunctive queries
gan: Barcelo, P, et al.
Cyhoeddwyd: (2020)

Handling Cyclic Conjunctive Queries
gan: Glimm, B, et al.
Cyhoeddwyd: (2005)

Conjunctive Query Entailment for SHOQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2007)

Unions of Conjunctive Queries in SHOQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2008)

Conjunctive queries over trees
gan: Gottlob, G, et al.
Cyhoeddwyd: (2006)

Conjunctive Queries over Trees
gan: Gottlob, G, et al.
Cyhoeddwyd: (2006)

Conjunctive Queries over Trees
gan: Gottlob, G, et al.
Cyhoeddwyd: (2004)

Semantic width and the fixed-parameter tractability of constraint satisfaction problems
gan: Chen, H, et al.
Cyhoeddwyd: (2020)

Acyclicity notions for existential rules and their application to query answering in ontologies
gan: Grau, B, et al.
Cyhoeddwyd: (2013)

Answering Queries using Views over Probabilistic XML: Complexity and Tractability
gan: Cautis, B, et al.
Cyhoeddwyd: (2012)

Answering Queries using Views over Probabilistic XML: Complexity and Tractability
gan: Cautis, B, et al.
Cyhoeddwyd: (2012)

Conjunctive queries for EL with role composition
gan: Krötzsch, M, et al.
Cyhoeddwyd: (2007)

The Weisfeiler-Leman dimension of conjunctive queries
gan: Göbel, A, et al.
Cyhoeddwyd: (2024)