- 博客(11)
- 收藏
- 关注
原创 任何一个二目关系都是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)(即 A
2022-03-17 12:17:00
7006
3
原创 主存中存储单元地址的分配(超详细)
主存中存储单元地址的分配字长为机器的存储字长,不同的机器,存储字长不同,如题中字长为32位的IBM370机,字长16
2020-12-24 15:41:07
12686
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人