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

Նմանատիպ նյութեր