Functional Dependencies

Definition:

Two tuples that agree on the attributes A1,…,An

A , A , … A

1

2

n

must also agree on the attributes B1,…, Bm

Formally:

B , B , … B

1

2

m

If A1,…,An is a key, then

A1,…,An Attributes(R) - A1,…,An

Previous slide

Next slide

Back to first slide

View graphic version