Angenommen X1 → Y1 und X2 → Y2SQL Funktionale Abhängigkeiten
Stimmt es, dass X1 ∩ X2 → Y1 ∩ Y2? Wie wäre es mit X1 ∪ X2 → Y1 ∩ Y2?
Ich habe für ein paar Stunden darüber nachgedacht und bin wirklich festgefahren. Vielleicht ist der zweite wahr, weil alles in Y1 und Y2 von mindestens einem von X1 oder X2 abhängt.
Die erste Formel ist offensichtlich falsch. Ein sehr einfaches Beispiel, dies zu zeigen, ist:
R(A,B,C,D)
A B → C D
B E → D F
von diesem man das nicht B → D in keiner Weise entnehmen kann, und zwar in der folgenden Beispiel erfüllt die beiden oben genannten Abhängigkeiten, aber nicht die dritte (für den gleichen Wert von B gibt es zwei verschiedene Werte von D):
A B C D E F
----------------------
a1 b1 c1 d1 e1 f1
a2 b1 c1 d2 e1 f1
die zweite Formel ist, auf der anderen Seite, wahr, und dies kann durch Verwendung der Armstrong’s Axioms nachgewiesen werden.