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....
Үндсэн зохиолч: | Lanzinger, M |
---|---|
Формат: | Conference item |
Хэл сонгох: | English |
Хэвлэсэн: |
Association for Computing Machinery
2021
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Tractability beyond β-acyclicity for conjunctive queries with negation and SAT
-н: Lanzinger, MP
Хэвлэсэн: (2022) -
The complexity of acyclic conjunctive queries
-н: Gottlob, G, зэрэг
Хэвлэсэн: (2001) -
The Complexity of Acyclic Conjunctive Queries
-н: Gottlob, G, зэрэг
Хэвлэсэн: (1998) -
Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons
-н: Sherkhonov, E, зэрэг
Хэвлэсэн: (2016) -
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
-н: Krötzsch, M, зэрэг
Хэвлэсэн: (2007)