Slide 5
Slide 5 text
Chase
Test
for
Lossless
Join
• R(A,B,C,D)
is
decomposed
into
S1={A,D},
S2={A,C},
S3={B,C,D}
• Construct
a
Tableau
– One
row
for
each
decomposed
relaBon
– For
each
row
i,
subscript
an
afribute
with
i
if
it
does
not
occur
in
Si.
• FDs:
A→B,
B
→C,
CD
→A
• Rules
for
“equaBng
two
rows”
using
FDs:
– If
one
is
unsubscripted,
make
the
other
the
same
– If
both
are
subscripted,
make
the
subscripts
the
same
• Goal:
one
unsubscripted
row
Lipyeow
Lim
-‐-‐
University
of
Hawaii
at
Manoa
5
A
B
C
D
a
b1
c1
d
a
b2
c
d2
a3
b
c
d
S1
S2
S3
A
B
C
D
a
b1
c1
d
a
b2
c
d2
a3
b
c
d
X b1
c
a
X
X
one
unsubscripted
row
imply
lossless
join