Transitive functional dependency là gì?

Trong phụ thuộc hàm (functional dependency), phụ thuộc hàm bắc cầu (transitive functional dependency) là một loại của phụ thuộc hàm xảy ra khi dependent là phụ thuộc gián tiếp vào determinant. Tức là nếu a → b & b → c, thì theo luật bắc cầu (transitive rule) a → c, đây là một phụ thuộc hàm bắc cầu. Ví dụ bên dưới:

Ở đây enrol_no → dept và dept → building_no, Do đó theo luật bắc cầu enrol_no → building_no là một phụ thuộc hàm hợp lệ. Đây là một phụ thuộc hàm gián tiếp do đó được gọi là phụ thuộc hàm bắc cầu (transitive functional dependency).