Relationale Division in SQL

Helios Co. · 17. Februar 2008, 16:36

Hallo,

ich komme leider nicht von Allein weiter und hoffe nun auf eure Hilfe:

Und zwar möchte ich die relationale Division in SQL realisieren. Beispiel:

Ich habe 2 Tabellen X und Y. In X sind die Spalten M und V und in Y ist lediglich die Spalte V.
Ich möchte X/Y rechnen.

Konkreter:

X: Y: Ergebnis
m1 v1 v1 m1
m1 v2 v2
m2 v2 v3
m3 v3

Wie würde nun ein entsprechender Ausdruck in SQL aussehen (ps keine Sorge, es handelt sich nicht um einen "Schul"-Aufgabe...reines Selbstinteresse)
Gibts ein schon vorgefärtigtes Schlüsselwort dafür in SQL?

SeBa · 17. Februar 2008, 16:59

Ich weiß zwar nicht was eine relationale Division sein soll aber teilen kann man in SQL ganz normal mit /

Helios Co. · 17. Februar 2008, 17:52

Die relatinale Division liefert mir die m-Werte, die FÜR ALLE v-Werte vorkommen.

Ich sehe gerade, dass das Beispiel nicht korrekt ist, es müsste lauten:

X:
m1|v1
m1|v2
m2|v2

Y:
v1
v2

Das Ergebnis wäre demnach nur m1, da es für alle vorkommenden v-werte (also v1 und v2) einmal vorkommt.

Torben Brodt · 17. Februar 2008, 19:47

Die relationale Division ist der arithmetischen Division ähnlich. Sie wird mit zwei Relationen, r1 und r2, durchgeführt. Das Ergebnis der Division von r1/r2 ist eine Relation, die aus genau den Tupeln von r1 besteht, für die die zugehörige Wertemenge eines anderen Attributes von r1 alle Werte der Relation r2 enthält.

books.google.com/books?id=EGfu…4qUi_cTyI_yLaVIw#PPA43,M1

Ich würde mal behaupten sowas findest du nicht in einer Standardfunktion. (Welches DBMS überhaupt?)

Aber eine Idee (falls ich das ganze überhaupt richtig verstanden habe) gebe ich dir dennoch:

Quellcode

SELECT m
FROM tabelleX
GROUP BY m
HAVING COUNT(*) = (SELECT COUNT(V) FROM tabelleY)

SeBa · 18. Februar 2008, 21:07

Hier steht wie man Schrittweise die relationale Division auf elementare Operationen abbilden kann[wikipedia]http://en.wikipedia.org/wiki/Relational_algebra#Division[/wikipedia]

bluepeople12 · 28. August 2010, 18:00

Ich hab auch grad damit zu tun vom Studium her (muss für ne Klausur lernen).

Die Frage ist halt für mich, wie kann ich das am besten in SQL schreiben?

Gambler · 28. August 2010, 23:20

Mal ein Beispiel für die relationale Division:

Relationen (PrimaryKey, ForeignKey):
Bild B (BNR, B_Titel)
Ausstellung A (ANR, A_Titel, BNR)

Aufgabe: "Gesucht sind die Titel der Ausstellungen, die alle Bilder ausstellen."

Das ist nichts anderes als R = (ANR, BNR) A / (BNR) B

In Relationskalkülform: R = { ( x.A_Titel ) : x / A ^ ( Allquantor y / B )( Existenzquantor z / A )( y.BNR = z.BNR ^ z.ANR = x.ANR ) }

Dann formen wir den Allquantor noch um: R = { ( x.A_Titel ) : x / A ^ ( --Existenzquantor y / B )(-- Existenzquantor z / A )( y.BNR = z.BNR ^ z.ANR = x.ANR ) }

Das schöne am Kalkülausdruck ist die leichte Übersetzung in SQL:

Quellcode

SELECT A_TITEL
FROM A x
WHERE NOT EXISTS(
SELECT *
FROM B y
WHERE NOT EXISTS(
SELECT *
FROM A z
WHERE y.BNR = z.BNR
AND z.ANR = x.ANR))

Relationale Division in SQL

Relationale Division in SQL

Quellcode

Quellcode

Teilen

Tags