Boyce-Codd Normal Form

A simple condition for removing anomalies from relations:

A relation R is in BCNF if and only if:

Whenever there is a nontrivial dependency

for R , it is the case that { }

is a super-key for R.

A , A , … A

1

2

n

B

A , A , … A

1

2

n

In English (though a bit vague):

Whenever a set of attributes of R is determining another attribute,

should determine all the attributes of R.

Previous slide

Next slide

Back to first slide

View graphic version