課程大綱：數(shù)據(jù)庫系統(tǒng)（中）：建模與設(shè)計(jì)培訓(xùn)
第1講 數(shù)據(jù)建模：思想與方法 (暨數(shù)據(jù)庫設(shè)計(jì)之抽象與表達(dá)方法)
1101-為什么要數(shù)據(jù)建模與數(shù)據(jù)庫設(shè)計(jì)
1102-數(shù)據(jù)模型與概念模型的概念
1103-關(guān)于抽象的八個(gè)字
1104-什么是E-R模型
1105-實(shí)體與實(shí)例
1106-聯(lián)系與聯(lián)系的元數(shù)
1107-聯(lián)系與聯(lián)系的基數(shù)
1108-Chen方法表達(dá)E-R模型
1109-Chen方法建模案例-物資管理系統(tǒng)數(shù)據(jù)建模
1110-Crow's Foot方法表達(dá)E-R模型
1111-Crow's Foot方法建模案例-物資管理系統(tǒng)數(shù)據(jù)建模
1112-型與值和三個(gè)世界
1113-數(shù)據(jù)模型與兩種抽象層次
1114-再看抽象層次
1115-第11講回顧本講學(xué)習(xí)了什么
第1講 模擬題
【特別討論】暢想一下你學(xué)習(xí)《數(shù)據(jù)庫系統(tǒng)（中）-建模與設(shè)計(jì)》課程的收獲
第1講 計(jì)分測(cè)驗(yàn)
第2講 數(shù)據(jù)建模：工程化方法及案例分析
1201-什么是IDEF1X
1202-獨(dú)立實(shí)體和從屬實(shí)體
1203-標(biāo)定聯(lián)系和非標(biāo)定聯(lián)系
1204-非確定聯(lián)系與相交實(shí)體
1205-分類聯(lián)系與分類實(shí)體
1206-IDEF1X案例講解之一-四個(gè)建模小例子
1207-IDEF1X案例講解之二-倉儲(chǔ)系統(tǒng)建模
1208-IDEF1X案例講解之三-物料系統(tǒng)建模
1209-IDEF1X案例講解之四-六個(gè)模型示例點(diǎn)評(píng)
1210-IDEF1X案例講解之五-聯(lián)賽管理系統(tǒng)建模
第2講 模擬題
第2講 計(jì)分測(cè)驗(yàn)
作業(yè)：請(qǐng)用Crow's Foot圖 或者 IDEF1X圖理解某一數(shù)據(jù)庫系統(tǒng)
第3講 數(shù)據(jù)庫設(shè)計(jì)過程
1301-如何做需求分析
1302-如何做概念數(shù)據(jù)庫設(shè)計(jì)
1303-如何做邏輯數(shù)據(jù)庫設(shè)計(jì)
1304-邏輯數(shù)據(jù)庫設(shè)計(jì)會(huì)出現(xiàn)什么問題
1305-如何做物理數(shù)據(jù)庫設(shè)計(jì)
1306-第13講回顧本講學(xué)習(xí)了什么
第3講 模擬題
第3講 計(jì)分測(cè)驗(yàn)
第4講 函數(shù)依賴及其公理/定理
1401-什么是函數(shù)依賴
1402-部分函數(shù)依賴與完全函數(shù)依賴
1403-傳遞函數(shù)依賴
1404-函數(shù)依賴相關(guān)的幾個(gè)重要概念
1405-關(guān)于函數(shù)依賴的Armstrong公理
1406-什么是屬性（集）閉包
1407-屬性閉包的計(jì)算算法與覆蓋及其證明
1408-什么是小覆蓋
第4講 模擬題
第4講 計(jì)分測(cè)驗(yàn)
第5講 關(guān)系模式設(shè)計(jì)之規(guī)范形式
1501-什么是第一范式
1502-什么是第二范式
1503-什么是第三范式
1504-什么是Boyce-Codd范式
1505-什么是多值依賴
第5講 模擬題
第5講 計(jì)分測(cè)驗(yàn)
第6講模式分解存在什么問題
1601-模式分解存在的問題
1602-無損連接分解及其檢驗(yàn)算法
1603-保持依賴分解及其檢驗(yàn)算法）
1604-模式分解成BCNF及第3范式的算法
1605-連接依賴與第5范式
1606-數(shù)據(jù)庫設(shè)計(jì)需要知道的
第6講模擬題
第6講計(jì)分測(cè)驗(yàn)
加入高級(jí)會(huì)員獲得助教答疑
