Entscheidungsverfahren f"ur die "Aquivalenz von SQL-Anfragen mit Aggregat-Operatoren

Die Klasse dieser Anfragen stimmt "uberein mit der Klasse der
ungeschachtelten SQL-Anfragen mit den genannten Aggregat-Operatoren,
deren WHERE-Klausel eine Konjunktion von Vergleichen enth"alt, und die
keine HAVING-Klausel besitzen.

Wir geben syntaktische Charakterisierungen, das heisst notwendige und
hinreichende Bedingungen, f"ur die "Aquivalenz solcher Anfragen.
Unsere Charakterisierungen k"onnen unmittelbar als Algorithmen
aufgefasst werden.

Diese Arbeit ist motiviert durch Anwendungen bei
entscheidungsunterst"utzenden Systemen und Data Warehouses, in denen
umfangreiche Anfragen mit Aggregaten ausgewertet werden. Eine
vielversprechende Optimierungstechnik ist hier, f"ur eine neue Anfrage
Resultate fr"uherer Anfragen wiederzuverwenden. Dazu muss die neue
Anfrage umformuliert werden in eine "aquivalente Anfrage, die fr"uhere
Anfragen als Teilausdr"ucke enth"alt. Eine syntaktische
Charakterisierung "aquivalenter Anfragen ist eine Vorbedingung, um
solche Umformulierungen zu finden.

(Der Vortrag beruht auf gemeinsamen Arbeiten mit Yehoshua Sagiv und
Sara Shurin.)