任何一个二目关系都是BCNF

BCNF定义： 若x -> y，且y不是x的子集（等价于 非平凡的函数依赖），每个决定因素都包含码。
而对于二目关系，其决定因素必然包含码。
详细证明如下：
证明：设R为一个二目关系R（A1，A2），则属性 A1 和 A2 之间可能存在以下几种依赖关系：
A：A1 -> A2，则关系R的码为 A1，决定因素都包含码，所以，R是 BCNF.
B： A1 -> A2，且 A2 -> A1，则关系R的码为 A2，所以决定因素都包含码，R是 BCNF.
C： R的码为(A1， A2)（即 A1 -> A2, A2 -> A1)，决定因素都包含码，所以，R是 BCNF.