函式依賴：
有損分解與無損分解：
f集合的閉包：
即能從給定f集合推到出的所有函式依賴的集合將inst_dept (id, name, dept_name, salary, building, budget)分解為：
instructor (id, name, dept_name, salary)
department (dept_name, building, budget)
原模式®的所有屬性都必須出現在分解後的(r
1r_1
r1, r
2r_2
r2)中：r= r
1r_1
r1 並 r
2r_2
r2表達資料庫一致性約束的方式：
主碼約束、函式依賴、check約束、斷言和觸發器
bcnf要求：所有非平凡函式依賴都形如α→β
\alpha \rightarrow \beta
α→β,其中乙個α
\alpha
α為超碼。
3nf條件：
armstrong公理
資料庫筆記 （第八章）關聯式資料庫設計
超碼 碼 鍵 能夠唯一標識一條記錄的屬性或屬性集 候選碼 能夠唯一標識一條記錄的最小屬性集。他們的任意真子集都不能成為超碼。主碼 從候選碼裡人為選取的最小屬性集。主屬性 候選碼的並集。非主屬性 不包含在候選碼裡的屬性。除了主屬性的其他屬性。如果乙個關係模式r中的每個屬性a的域值都是原子的，即屬性值是...
資料庫系統概論筆記（第八章）
第八章.資料庫程式設計 1.sql的兩種使用方式 互動式 嵌入式 2.嵌入式sql的一些概念 3.過程化sql 用關聯式資料庫管理系統自己的過程語言定義過程和函式 4.儲存過程 由過程化sql語句書寫的過程，這個過程經編譯和優化後儲存在資料庫伺服器中 6.建立儲存過程 格式 create orrep...
資料庫系統概論 第八章 關聯式資料庫的規範化理論
8.1問題的提出 資料庫邏輯設計的乙個強有力的工具 關聯式資料庫的規範化理論。乙個關係既可以用來描述乙個實體及其屬性，又可以用來描述實體間的聯絡。關係模式是用來定義關係的。乙個資料庫包含一組關係，定義這些關係的關係模式的全體就構成了該資料庫的模式，建成模式scheme。資料依賴指資料間的相互關聯 主...