Approximately counting answers to conjunctive queries with disequalities and negations

Approximately counting answers to conjunctive queries with disequalities and negations

Show other versions (1)

<p>We study the complexity of approximating the number of answers to a small query 𝜑 in a large database D. We establish an exhaustive classification into tractable and intractable cases if 𝜑 is a conjunctive query possibly including disequalities and negations:</p> <br> <p>•...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Focke, J, Goldberg, L, Roth, M, Zivny, S
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Association for Computing Machinery 2024

Eitemau Tebyg

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

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

The complexity of approximately counting retractions
gan: Focke, J, et al.
Cyhoeddwyd: (2019)

The complexity of approximately counting retractions
gan: Focke, J, et al.
Cyhoeddwyd: (2020)

The complexity of approximately counting retractions to square-free graphs
gan: Focke, J, et al.
Cyhoeddwyd: (2021)

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

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

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

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

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 the Description Logic SHIQ
gan: Glimm, B, et al.
Cyhoeddwyd: (2006)

Counting homomorphisms to K4-minor-free graphs, modulo 2
gan: Focke, J, et al.
Cyhoeddwyd: (2021)

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

Counting homomorphisms to K4-minor-free graphs, modulo 2
gan: Focke, J, et al.
Cyhoeddwyd: (2021)

Conjunctive Query Answering for Description Logics with Transitive Roles
gan: Glimm, B, et al.
Cyhoeddwyd: (2006)

The complexity of counting surjective homomorphisms and compactions
gan: Focke, J, et al.
Cyhoeddwyd: (2017)

The complexity of counting surjective homomorphisms and compactions
gan: Focke, J, et al.
Cyhoeddwyd: (2019)

Conjunctive query answering over unrestricted OWL 2 ontologies
gan: Igne, F, et al.
Cyhoeddwyd: (2023)

Conjunctive query answering over unrestricted OWL 2 ontologies
gan: Igne, F
Cyhoeddwyd: (2022)

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

Bounds for the query complexity of approximate equilibria
gan: Goldberg, PW, et al.
Cyhoeddwyd: (2016)

OLAP Techniques for Approximation and Mining Query Answering
gan: Murtadaha Hamd, et al.
Cyhoeddwyd: (2010-12-01)

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

Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles
gan: Stefanoni, G, et al.
Cyhoeddwyd: (2015)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
gan: Stefanoni, G, et al.
Cyhoeddwyd: (2014)

Complexity of approximate query answering under inconsistency in datalog+/-
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2018)

Complexity of approximate query answering under inconsistency in Datalog+/-
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2018)

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend!
gan: Glimm, B, et al.
Cyhoeddwyd: (2009)

Complexity of answering counting aggregate queries over DL-Lite
gan: Kostylev, E, et al.
Cyhoeddwyd: (2013)

Complexity of answering counting aggregate queries over DL - Lite
gan: Kostylev, E, et al.
Cyhoeddwyd: (2015)

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

The Hidden Disequities of Carbon Trading: Carbon Emissions, Air Toxics, and Environmental Justice
gan: Raul P. Lejano, et al.
Cyhoeddwyd: (2020-11-01)

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

The Complexity of Explaining Negative Query Answers in DL−Lite
gan: Calvanese, D, et al.
Cyhoeddwyd: (2012)

Answering counting aggregate queries over ontologies of the DL-Lite family
gan: Kostylev, E, et al.
Cyhoeddwyd: (2013)

Explanations for negative query answers under existential rules
gan: Ceylan, I, et al.
Cyhoeddwyd: (2020)

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)