Effizientes Finden der kleinsten Zeugen für konjunktive Anfragen

Der Hauptbeitrag dieser Arbeit ist die Entwicklung von effizienten Algorithmen zum Finden der kleinsten Zeugen für konjunktive Anfragen ohne Selbstjoins. Die Autoren zeigen eine Dichotomie auf: Für Anfragen mit Kopf-Cluster-Eigenschaft kann das Problem in Polynomialzeit gelöst werden, während es für Anfragen ohne diese Eigenschaft NP-schwer ist. Für letztere Klasse von Anfragen untersuchen die Autoren auch Approximationsalgorithmen und zeigen weitere Dichotomien basierend auf der Kopf-Dominanz-Eigenschaft.