Σχεδιασμός Σχεσιακών Σχημάτων
Πλειότιμες Εξαρτήσεις (συνέχεια)
Για κάθε ζεύγος πλειάδων t1 και t2 της σχέσης R που συμφωνούν σε όλα τα γνωρίσματα του X μπορούμε να βρούμε στο R δυο πλειάδες t3 και t4 τέτοιες ώστε
- και οι δυo συμφωνούν με τις t1 και t2 στο X: t1[X] = t2[X] = t3[X] = T4[X]
- η t3 συμφωνεί με την t1 στο Υ: t3[Y] = t1[Y]
- η t3 συμφωνεί με την t2 στο R - X - Y: t3[R- X - Y] = t2[R - X - Y]
- η t4 συμφωνεί με την t1 στο R - X - Y: t4[R- X - Y] = t1[R - X - Y]
- η t4 συμφωνεί με την t2 στο Υ: t3[Y] = t2[Y]