Core Concepts
Für eine Folge von N Einfüge-Lösch-Updates zu einer anfangs leeren Datenbank kann eine Abfrage Q in Gesamtzeit O(Nw(Q)) ausgeführt werden, wobei w(Q) die fraktionale Hypertreite-Breite von Q ist. Für eine Folge von N reinen Einfüge-Updates kann eine Abfrage Q in Gesamtzeit O(Nw(Q)) ausgeführt werden.
Abstract
Die Studie untersucht das Problem der dynamischen Abfrageevaluierung: Gegeben eine natürliche Joinabfrage Q und einen Strom von Updates, soll eine Datenstruktur konstruiert werden, die eine konstant-verzögerte Aufzählung der Abfrageausgabe nach jedem Update unterstützt.
Für eine Folge von N reinen Einfüge-Updates zu einer anfangs leeren Datenbank kann eine Abfrage Q in Gesamtzeit O(Nw(Q)) ausgeführt werden, wobei w(Q) die fraktionale Hypertreite-Breite von Q ist. Dies entspricht der Komplexität des statischen Abfrageevaluierungsproblems für Q und eine Datenbank der Größe N. Eine Folgerung ist, dass die amortisierte Zeit pro Einzeltupel-Einfügung konstant ist für azyklische Joins.
Im Gegensatz dazu zeigen die Autoren, dass eine Folge von N Einfüge- und Lösch-Updates zu Q in Gesamtzeit e^O(Nw(Q̂)) ausgeführt werden kann, wobei Q̂ aus Q durch Erweiterung jedes Relationenatomsums mit zusätzlichen Variablen, die die "Lebensdauern" von Tupeln in Q repräsentieren, erhalten wird. Die Autoren zeigen, dass diese Reduktion optimal ist in dem Sinne, dass die statische Auswertungszeit von Q̂ eine untere Schranke für die Gesamtaktualisierungszeit von Q liefert. Ihr Ansatz liefert die optimale Einzeltupel-Aktualisierungszeit für bekannte Abfragen wie hierarchische und Loomis-Whitney-Join-Abfragen.
Stats
Für eine Folge von N Einfüge-Updates zu einer anfangs leeren Datenbank kann eine Abfrage Q in Gesamtzeit O(Nw(Q)) ausgeführt werden.
Für eine Folge von N Einfüge- und Lösch-Updates zu einer anfangs leeren Datenbank kann eine Abfrage Q in Gesamtzeit e^O(Nw(Q̂)) ausgeführt werden, wobei Q̂ die Erweiterung von Q ist.
Quotes
Keine relevanten Zitate gefunden.