課程大綱：數據庫系統（中）：建模與設計培訓
第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講計分測驗
加入高級會員獲得助教答疑
