數據庫系統（中）：建模與設計培訓

第1講 數據建模：思想與方法(暨數據庫設計之抽象與表達方法)

1101-為什么要數據建模與數據庫設計

1102-數據模型與概念模型的概念

1103-關于抽象的八個字

1104-什么是E-R模型

1105-實體與實例

1106-聯系與聯系的元數

1107-聯系與聯系的基數

1108-Chen方法表達E-R模型

1109-Chen方法建模案例-物資管理系統數據建模

1110-Crow's Foot方法表達E-R模型

1111-Crow's Foot方法建模案例-物資管理系統數據建模

1112-型與值和三個世界

1113-數據模型與兩種抽象層次

1114-再看抽象層次

1115-第11講回顧本講學習了什么

第1講 模擬題

【特別討論】暢想一下你學習《數據庫系統（中）-建模與設計》課程的收獲

第1講 計分測驗

第2講 數據建模：工程化方法及案例分析

1201-什么是IDEF1X

1202-獨立實體和從屬實體

1203-標定聯系和非標定聯系

1204-非確定聯系與相交實體

1205-分類聯系與分類實體

1206-IDEF1X案例講解之一-四個建模小例子

1207-IDEF1X案例講解之二-倉儲系統建模

1208-IDEF1X案例講解之三-物料系統建模

1209-IDEF1X案例講解之四-六個模型示例點評

1210-IDEF1X案例講解之五-聯賽管理系統建模

第2講 模擬題

第2講 計分測驗

作業：請用Crow's Foot圖 或者 IDEF1X圖理解某一數據庫系統

第3講 數據庫設計過程

1301-如何做需求分析

1302-如何做概念數據庫設計

1303-如何做邏輯數據庫設計

1304-邏輯數據庫設計會出現什么問題

1305-如何做物理數據庫設計

1306-第13講回顧本講學習了什么

第3講 模擬題

第3講 計分測驗

第4講 函數依賴及其公理/定理

1401-什么是函數依賴

1402-部分函數依賴與完全函數依賴

1403-傳遞函數依賴

1404-函數依賴相關的幾個重要概念

1405-關于函數依賴的Armstrong公理

1406-什么是屬性（集）閉包

1407-屬性閉包的計算算法與覆蓋及其證明

1408-什么是小覆蓋

第4講 模擬題

第4講 計分測驗

第5講 關系模式設計之規范形式

1501-什么是第一范式

1502-什么是第二范式

1503-什么是第三范式

1504-什么是Boyce-Codd范式

1505-什么是多值依賴

第5講 模擬題

第5講 計分測驗

第6講模式分解存在什么問題

1601-模式分解存在的問題

1602-無損連接分解及其檢驗算法

1603-保持依賴分解及其檢驗算法）

1604-模式分解成BCNF及第3范式的算法

1605-連接依賴與第5范式

1606-數據庫設計需要知道的

第6講模擬題

第6講計分測驗