Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons

Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons

We study the containment problem for conjunctive queries (CQs ) expanded with negated atoms or arithmetic comparisons. It is known that the problem is View the MathML source-complete [14] and [16]. The aim of this article is to find restrictions on CQs that allow for tractable containment. In parti...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Sherkhonov, E, Marx, M
Fformat:	Journal article
Cyhoeddwyd:	Elsevier 2016

Eitemau Tebyg

Tractability beyond β-acyclicity for conjunctive queries with negation
gan: Lanzinger, M
Cyhoeddwyd: (2021)

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)

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

Optimization of Queries Containing Conjunctions of Conditions
gan: S. D. Kuznetsov, et al.
Cyhoeddwyd: (2011-09-01)

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

Classification of annotation semirings over containment of conjunctive queries
gan: Kostylev, E, et al.
Cyhoeddwyd: (2017)

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)

Actions of arithmetic groups on homology spheres and acyclic homology manifolds
gan: Bridson, M, et al.
Cyhoeddwyd: (2012)

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

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)

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

Modular Path Queries with Arithmetic
gan: Jakub Michaliszyn, et al.
Cyhoeddwyd: (2021-09-01)

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

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

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

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)

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

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

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)

Size and treewidth bounds for conjunctive queries.
gan: Gottlob, G, et al.
Cyhoeddwyd: (2009)

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries
gan: Rudolph, S, et al.
Cyhoeddwyd: (2010)

Linear Programs with Conjunctive Database Queries
gan: Florent Capelli, et al.
Cyhoeddwyd: (2024-01-01)

Path querying using conjunctive grammars
gan: R. Sh. Azimov, et al.
Cyhoeddwyd: (2018-10-01)

Acyclic amido-containing silanechalcogenones
gan: Chan, Yuk-Chi, et al.
Cyhoeddwyd: (2015)

The Complexity of Conjunctive Query Abduction in DL−Lite
gan: Calvanese, D, et al.
Cyhoeddwyd: (2011)

Conjunctive Query Answering for the Description Logic SHIQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2008)

Status QIO: Conjunctive Query Entailment is Decidable
gan: Glimm, B, et al.
Cyhoeddwyd: (2010)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
gan: Gottlob, G, et al.
Cyhoeddwyd: (2011)

Conjunctive Query Answering in the Description Logic SHIQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2007)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
gan: Gottlob, G, et al.
Cyhoeddwyd: (2011)

Conjunctive Query Answering in the Description Logic SHIQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2006)

Conjunctive query answering for the description logic SHIQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2008)