Ensuring lossless decomposition
R(A
1
, ..., A
n
, B
1
, ..., B
m
, C
1
, ..., C
p
)
R(A
1
, ..., A
n
, B
1
, ..., B
m
, C
1
, ..., C
p
)
If A
1
, ..., A
n
B
1
, ..., B
m
or A
1
, ..., A
n
C
1
, ..., C
p
Then the decomposition is lossless
R
1
(A
1
, ..., A
n
, B
1
, ..., B
m
)
R
1
(A
1
, ..., A
n
, B
1
, ..., B
m
)
R
2
(A
1
, ..., A
n
, C
1
, ..., C
p
)
R
2
(A
1
, ..., A
n
, C
1
, ..., C
p
)
Note: don’t need both