Core Concepts
Die Komplexität des Zählens von Antworten auf Vereinigungen von Konjunktiven Anfragen hängt von der Struktur der kombinierten Anfrage und deren Verträge ab. Für große Klassen von Vereinigungen ist die Lösbarkeit allein durch die Baumweite dieser Strukturen bestimmt.
Abstract
Die Studie untersucht die Komplexität des Problems, die Anzahl der Antworten auf Vereinigungen von Konjunktiven Anfragen (UCQs) zu berechnen.
Zunächst wird gezeigt, dass für große Klassen von UCQs, die unter Löschungen geschlossen sind, die Komplexität allein durch die Baumweite der kombinierten Anfrage und deren Verträge bestimmt ist. Dies ist eine deutliche Vereinfachung gegenüber dem bisher bekannten Kriterium, das auf komplexeren Strukturen basiert.
Für den Fall einer einzelnen festen UCQ wird dann gezeigt, dass es unwahrscheinlich ist, ein effizient überprüfbares Kriterium dafür zu finden, ob die Anzahl der Antworten in linearer Zeit berechnet werden kann. Dies gilt selbst unter starken Einschränkungen der UCQs, wie z.B. wenn sie Vereinigungen von azyklischen Konjunktiven Anfragen sind. Die Komplexität dieser Frage ist eng mit der Berechenbarkeit der Euler-Charakteristik von Simplexkomplexen verbunden.
Stats
Es gibt keine spezifischen Statistiken oder Zahlen, die aus dem Artikel extrahiert werden können.
Quotes
Es gibt keine hervorstechenden Zitate, die den Kernaussagen des Artikels unterstützen.