Tractability beyond β-acyclicity for conjunctive queries with negation and SAT
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....
| 主要作者: | |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
Elsevier
2022
|