First page Back Continue Last page Graphics
Lossless Join Decomposition
Lossless Join means:
- Let { R1 , R2 } be a decomposition of R (meaning that R1 R2 = R); the decomposition is lossless if for every legal instance r of R: r = R1(r) R2(r)
We have proved that a decomposition is lossless if R1 R2 R1 or R1 R2 R2
This is a sufficient condition, but not a necessary condition.
Notes:
De bovenstaande decompositie is niet lossless-join. (Ze is overigens wel in BCNF.)
Je toont niet-lossless-join zijn aan met een tegenvoorbeeld: een tabel waarbij
r = R1(r) R2(r)
niet waar is:
A B C
===========
0 0 0
1 0 0
0 0 1
Bij deze voorbeeldtabel geldt dat hij niet lossless gedecomponeerd wordt door te projecteren op {A,B} en op {B,C} want in de join van die twee komt een tupel (1,0,1) voor.