
數據庫系統(中):建模與設計培訓
第1講 數(shu)據建模:思想與方法(暨數(shu)據庫設計之抽象與表達方法)
1101-為(wei)什么要數據建模與數據庫(ku)設計
1102-數據(ju)模(mo)型與概(gai)念模(mo)型的概(gai)念
1103-關于抽(chou)象的八(ba)個字
1104-什么是E-R模型(xing)
1105-實體與實例(li)
1106-聯(lian)系與聯(lian)系的元數
1107-聯(lian)系與聯(lian)系的基數
1108-Chen方法表達E-R模型(xing)
1109-Chen方法建模(mo)(mo)案例-物(wu)資(zi)管理系(xi)統數(shu)據建模(mo)(mo)
1110-Crow's Foot方法表達(da)E-R模型
1111-Crow's Foot方(fang)法建(jian)模案例-物資管(guan)理系(xi)統(tong)數據建(jian)模
1112-型與值和三個世界
1113-數據模型與兩(liang)種抽象層次
1114-再看(kan)抽象層次
1115-第11講回顧本講學習(xi)了什么
第1講 模擬題
【特別討論】暢(chang)想一下你學習《數據(ju)庫系統(中(zhong))-建模(mo)與(yu)設(she)計》課程的收獲
第1講 計分測驗
第2講 數據建模:工(gong)程化(hua)方(fang)法及案例分析(xi)
1201-什么是IDEF1X
1202-獨立實(shi)體(ti)和從屬實(shi)體(ti)
1203-標定聯系(xi)和非標定聯系(xi)
1204-非確定(ding)聯系與相交實(shi)體
1205-分類(lei)(lei)聯系與分類(lei)(lei)實體(ti)
1206-IDEF1X案(an)例(li)講解(jie)之一-四個建模(mo)小例(li)子
1207-IDEF1X案(an)例講解(jie)之二-倉儲(chu)系統建模
1208-IDEF1X案(an)例講解(jie)之三-物(wu)料系統建(jian)模
1209-IDEF1X案例講(jiang)解之四-六個模型(xing)示例點評
1210-IDEF1X案例(li)講(jiang)解(jie)之五-聯賽管理系統建模(mo)
第2講 模擬題
第2講 計分測驗
作業:請用Crow's Foot圖 或者(zhe) IDEF1X圖理解某一數據(ju)庫系統
第3講 數據庫設計過程
1301-如(ru)何做需求(qiu)分析
1302-如何(he)做概念數(shu)據(ju)庫設計
1303-如何(he)做邏輯數據庫設(she)計
1304-邏輯數(shu)據庫設(she)計會出現(xian)什么問(wen)題
1305-如(ru)何(he)做物(wu)理數據庫設計(ji)
1306-第13講回顧本(ben)講學(xue)習(xi)了什么
第3講 模擬題
第3講 計分測驗
第4講 函數依賴及其公理/定理
1401-什么(me)是函數(shu)依(yi)賴(lai)
1402-部分函數依賴(lai)與完全函數依賴(lai)
1403-傳遞函數依賴
1404-函數(shu)依賴相關的幾個重要概念
1405-關于函數依賴的Armstrong公(gong)理
1406-什么是屬性(xing)(集(ji))閉包
1407-屬性閉包的計算(suan)算(suan)法與覆蓋及(ji)其證明
1408-什么是小覆蓋
第4講 模擬題
第4講 計分測驗
第5講(jiang) 關系模(mo)式設計之規范(fan)形式
1501-什么(me)是第一范式
1502-什(shen)么是第二(er)范式(shi)
1503-什么是第三范(fan)式
1504-什么是Boyce-Codd范式
1505-什(shen)么是多值依賴
第5講 模擬題
第5講 計分測驗
第6講模式分解存在什么問題
1601-模式(shi)分解存在的問題
1602-無損連接分解及其檢驗算法
1603-保持依賴(lai)分解及其檢驗算法)
1604-模式(shi)分解(jie)成BCNF及第3范式(shi)的(de)算法
1605-連接(jie)依(yi)賴與第5范(fan)式
1606-數據庫設計需要知道的
第6講模擬題
第6講計分測驗