会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
呦呦鹿鸣 食野之苹
博客园
首页
新随笔
联系
订阅
管理
2021年11月15日
数据库----数据依赖的公理系统
摘要: 一,逻辑蕴含 定义:对于满足一组函数依赖F的关系模式 R <U,F>,其任何一个关系r,若函数依赖X→Y都成立(即r中任意两元组t、s,若t[X]=s[X],则 t[Y]=s[Y]),则称F逻辑蕴涵X →Y。 二,Armstrong公理系统 A1 自反律:若Y ⊆ X ⊆ U,则X →Y 为F所蕴涵
阅读全文
posted @ 2021-11-15 21:51 Mr_宋先生
阅读(333)
评论(0)
推荐(0)
编辑
公告