Problem 1

Consider relation with the following FDs: , , and .

(a). List All Candidate Keys of

(b). Is in 3NF? In BCNF?

is in 3NF but not BCNF

Problem 2

Consider relation with the following FDs: , , , and .

(a). List All Candidate Keys of

(b). Is in 3NF? In BCNF?

is in 3NF and BCNF

Problem 3

Given relation , find if is in 3NF or BCNF with respect to each of the following sets of FDs (each part is separate):

(i). , ,

is not in BCNF or 3NF

(ii). ,

is in 3NF but is not in BCNF

(iii). ,

is not in 3NF or BCNF

Problem 4

Consider a relation that satisfies the following FDs: , , , .

Does hold? If so, show a formal proof; otherwise give a counterexample.

Problem 5

Consider a relation . For each of the following, determine whether it holds (yes or no). If yes, provide a formal proof; otherwise give a counterexample.

(i). If , then ?

No it does not.

1	2	3
1	3	4

Just by itself does not determine .

(ii). If , then ?

Not it does not

2	1	3
3	1	4

Just by itself does not determine .

(iii). If , then or ?

Not it does not

2	1	3
3	1	4
1	2	5
1	3	6

No one element of can uniquely determine by itself.