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.
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Jaco... kl. arxiv.org 03-20-2024
https://arxiv.org/pdf/2311.10634.pdfDybere Forespørgsler