Professional Documents
Culture Documents
Appendix B: Advanced Relational Database Design: Database System Concepts, 6 Ed
Appendix B: Advanced Relational Database Design: Database System Concepts, 6 Ed
Database Design
DKNF
b.2
dependencies:
1. Reflexivity rule. If is a set of attributes and , then holds.
2. Augmentation rule. If holds and is a set of attributes,
then holds.
3. Transitivity rule. If holds and holds, then holds.
b.3
holds, then
holds, then
holds,
8. Coalescence rule. If
holds and and there is a
such that R and = and
, then
holds.
b.4
holds.
Intersection rule. If
holds.
Difference rule. If If
holds and
holds and
holds.
holds and
holds and
b.5
holds, then
holds, then
holds, then
Example
R = (A, B, C, G, H, I)
D = {A
B
CG
B
HI
H}
A
CGHI.
Since A
B, the complementation rule (4) implies that
A
R B A.
Since R B A = CGHI, so A
CGHI.
A
HI.
Since A
B and B
rule (6) implies that B
Since HI B = HI, A
b.6
Example (Cont.)
Some members of D+ (cont.):
B
H.
Apply the coalescence rule (8); B
HI holds.
Since H HI and CG
H and CG HI = , the
coalescence rule is satisfied with being B, being HI, being
CG, and being H. We conclude that B H.
A
CG.
A
CGHI and A
HI.
By the difference rule, A
Since CGHI HI = CG, A
CGHI HI.
CG.
b.7
R2
R2. Conversely,
is equivalent to
*( (R - ), )
However, there are join dependencies that are not equivalent to any
multivalued dependency.
b.8
b.9
Example
Consider Loan-info-schema = (branch-name, customer-name, loan-
number, amount).
Each loan has one or more customers, is in one or more branches and has
a loan amount; these relationships are independent, hence we have the join
dependency
*(=(loan-number, branch-name), (loan-number, customer-name), (loan-
number, amount))
Loan-info-schema is not in PJNF with respect to the set of dependencies
(loan-number, branch-name)
(loan-number, customer-name)
(loan-number, amount)
b.10
b.11
Example
Accounts whose account-number begins with the digit 9 are special
[balance] 2500.''
DKNF design:
account:
b.12
domain of attribute Ai, and let all these domains be infinite. Then all
domain constraints D are of the form Ai dom (Ai ).
Let the general constraints be a set G of functional, multivalued, or
and G.
b.13
End of Appendix B
Figure B.01
b.15
Figure B.02
b.16
Figure B.03
b.17
Figure B.04
b.18
Figure B.05
b.19
Figure B.06
b.20
Figure B.07
b.21