|
|
|
|
知识路径： > 数据库技术 > 关系数据库 > 关系数据库理论 > 函数依赖的公里系统 > Armstrong公理系统 >
|
|
|
被考次数：8次
|
|
|
被考频率：
中频率
|
|
|
总体答错率：
49%
|
|
知识难度系数：
|
|
|
考试要求：
掌握
|
|
|
相关知识点：4个
|
|
|
|
|
Armstrong公理系统（或称函数依赖的公理系统）：设关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：
|
|
|
（1）A1自反律：若 ，则X→Y为F所蕴涵。
|
|
|
（2）A2增广律：若X→Y为F所蕴涵，且 ，则XZ→YZ为F所蕴涵。
|
|
|
|
（3）A3传递律：若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵。
|
|
|
|
|
|
（1）合并规则：若X→Y，X→Z，则X→YZ为F所蕴涵。
|
|
|
|
（2）伪传递率：若X→Y，WY→Z，则XW→Z为F所蕴涵。
|
|
|
（3）分解规则：若X→Y， ，则Ⅹ→Z为F所蕴涵。
|
|
|
|
引理：X→A1A2…Ak成立的充分必要的条件是X→Ai成立（i=1，2，3，…，k）。证明略。
|
|
|
