简述Armstrong 公理系统。
简述Armstrong 公理系统。
发布时间：2025-03-07 21:40:49
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：答:设U为属性总体集合,F为U上的一组函数依赖,对于关系模式R(U,F),X、Y、Z为属性U的子集,有下列推理规则:A1:自反律:若YXU,则X→Y为F所蕴函。A2:增广律:若X→Y为F所蕴函,且Z是U的子集,即ZU,则XZ→YZ为F所蕴函。式中XZ和YZ是X∪Z 和 Y∪Z的简写。A3:传递律:若X→Y、Y→Z为F所蕴函,则X→Z为F所蕴函。
