Example 13.4 Example of a transitive functional dependency
Consider the following functional dependencies within the StaffBranch relation shown in
Figure 13.3:
staffNo →sName, position, salary, branchNo, bAddress
branchNo →bAddress
The transitive dependency branchNo → bAddress exists on staffNo via branchNo. In other
words, the staffNo attribute functionally determines the bAddress via the branchNo attribute
and neither branchNo nor bAddress functionally determines staffNo. An additional example
of a transitive dependency is discussed in Section 13.8.