Σχεδιασμός Σχεσιακών Σχημάτων
Ορισμός: Έστω C το σύνολο περιορισμών. Μια αποσύνθεση του R σε {R1, R2, .., Rn} είναι μια αποσύνθεση άνευ απωλειών στη συνένωση (lossless join decomposition) αν για όλες τις σχέσεις r(R) που είναι νόμιμες στο C ισχύει
r = π R1 (r) * π R2 (r) * … π Rn (r)
Θεώρημα: Έστω R ένα σχεσιακό σχήμα και F ένα σύνολο από συναρτησιακές εξαρτήσεις στο R. Έστω R1 και R2 μια αποσύνθεση του Ρ. Αν μια τουλάχιστον από τις R1 ? R2 ?R1 ή R1 ? R2 ? R2 ανήκει στο F+ τότε η διάσπαση είναι χωρίς απώλειες στη συνένωση.
- Δηλαδή τα κοινά γνωρίσματα των δύο σχημάτων είναι κλειδί για τουλάχιστον ένα από τα δύο