在关係模式R(U)中，设X，Y，Z是U的不同的属性子集，如果X确定Y、Y确定Z，且有X不包含Y，Y不确定X，（X∪Y）∩Z=空集合，则称Z传递函式依赖(transitive functional dependency) 于X。传递函式依赖会导致数据冗余和异常。传递函式依赖的Y和Z子集往往同属于某一个事物，因此可将其合併放到一个表中。

学号 宿舍 费用

062201 A 900

062230 B 1200

062240 B 1200

学号确定宿舍、宿舍确定费用，且有学号不包含宿舍，宿舍不确定学号，符合传递函式依赖条件。

所以以上关係R存在添加异常（建了C宿舍但是没人住无法添加了）删除异常（学生062201退学了宿舍A也删除掉）如果存在传递函式依赖，如下更改

学号 宿舍

062201 A

062230 B

062240 B

宿舍 费用

A 900

B 1200