范式

依賴

依賴	具體：設 R ( U ) R(U) R(U)為屬性集 U U U上的關系模式， X ? U , Y ? U X \subseteq U,Y \subseteq U X?U,Y?U，對于R(U)的任意一個可能的關系 r r r
函式依賴(FD)	Y Y Y對 X X X函式依賴： r r r中不存在兩個元組在 X X X上屬性相等但在 Y Y Y上屬性不等，則 X → Y X\to Y X→Y， X X X為決定因素
平凡函式依賴	X → Y 且 Y ? X ? X → Y X\to Y且Y \subseteq X\Rightarrow X\to Y X→Y且Y?X?X→Y是平凡函式依賴
完全函式依賴	Y Y Y對 X X X完全函式依賴： X → Y 且 ? X ′ →? Y ? X → F Y X\to Y且\forall X'\not\to Y\Rightarrow X\overset{F}{\to}Y X→Y且?X′?→Y?X→FY
部分函式依賴	Y Y Y對 X X X部分函式依賴： X → Y 且 X ? → F Y ? X → P Y X\to Y且X\not\overset{F}{\to}Y\Rightarrow X\overset{P}{\to}Y X→Y且X?→FY?X→PY
傳遞函式依賴	Z Z Z對 X X X傳遞函式依賴： X → Y 且 Y → Z 且 Z ?? Y 且 Y ?? X 且 Y →? X ? X ? 傳遞 Z X\to Y且Y\to Z且Z\not\subseteq Y且Y\not\subseteq X且Y\not\to X\Rightarrow X\overset{傳遞}{\longrightarrow}Z X→Y且Y→Z且Z??Y且Y??X且Y?→X?X?傳遞?Z
多值依賴(MVD)	X → → Y ? ? 關系 r 于 R ( U ) 中 , 給定一組值 ( x , z ) , ? Y 僅與 x 有關而與 z 無關 X\to \to Y\Leftrightarrow \forall 關系r于R(U)中,給定一組值(x,z),\exist Y僅與x有關而與z無關 X→→Y??關系r于R(U)中,給定一組值(x,z),?Y僅與x有關而與z無關

車牌 → 車車牌\to 車車牌→車

完全函式依賴： ( 經度 , 緯度 ) → 地點 (經度,緯度)\to 地點 (經度,緯度)→地點
平凡函式依賴： ( 經度 , 緯度 ) → 緯度 (經度,緯度)\to 緯度 (經度,緯度)→緯度

部分函式依賴： ( 科目 , 學員號 ) → 姓名 (科目,學員號)\to 姓名 (科目,學員號)→姓名
完全函式依賴： ( 科目 , 學員號 ) → 考試時間 (科目,學員號)\to 考試時間 (科目,學員號)→考試時間

用戶 → 權限等級用戶\to 權限等級用戶→權限等級，權限等級 → 權限權限等級\to權限權限等級→權限
用戶 ? 傳遞權限用戶\overset{傳遞}{\longrightarrow}權限用戶?傳遞?權限

課程 → → 教師課程\to \to 教師課程→→教師

轉載請註明出處，本文鏈接：https://www.uj5u.com/shujuku/242931.html

標籤：其他