【正文】 限。結(jié)合課后實例使學生們掌握SQL的嵌套查詢。第12課一、本次課的教學內(nèi)容 實體完整性 實體完整性定義 實體完整性檢查和違約處理 參照完整性 參照完整性定義 參照完整性檢查和違約處理 用戶自定義完整性 用戶自定義完整性定義 用戶自定義完整性檢查和違約處理二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案現(xiàn)用板書介紹SQL 語法的使用，然后使用SQL Server 2005/2008直接展示操作，實例演示。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了數(shù)據(jù)庫的三類完整性，并用數(shù)據(jù)庫平臺展示其應(yīng)用。結(jié)合課后實例使學生們掌握SQL的嵌套查詢。第13課一、本次課的教學內(nèi)容 關(guān)系數(shù)據(jù)庫理論問題的提出 規(guī)范化 函數(shù)依賴 碼 范式 2NF 3NF BCNF二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入了典型的例子。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了數(shù)據(jù)庫系統(tǒng)可能存在的問題，并引入了規(guī)范化的概念來解決這些問題，然后介紹了函數(shù)依賴的概念，并根據(jù)函數(shù)依賴的概念介紹了1NF，2NF，3NF和BCNF。第14課一、本次課的教學內(nèi)容 多值依賴 4NF 規(guī)范化小結(jié)二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入了典型的例子。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了多值依賴和4NF。第15課一、本次課的教學內(nèi)容 數(shù)據(jù)依賴的公理系統(tǒng)l 蘊含的概念l Armstrong公理系統(tǒng)l Armstrong公理系統(tǒng)的有效性和完備性二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入實例進行解釋。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了Armstrong公理系統(tǒng)以及該公理系統(tǒng)的有效性和完備性證明。第16課一、本次課的教學內(nèi)容 模式的分解 模式分解的3個定義l 無損連結(jié)性l 保持函數(shù)依賴l 既要保持函數(shù)依賴又無損連結(jié)性 分解的無損連結(jié)性和保持函數(shù)依賴l 保持無損連結(jié)性的證明l 保持函數(shù)依賴的證明二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并從一個例子引出問題并對該問題進行了解決。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了模式分解的概念和如何進行模式分解。第17課一、本次課的教學內(nèi)容 數(shù)據(jù)庫設(shè)計概述 數(shù)據(jù)庫設(shè)計的特點 數(shù)據(jù)庫設(shè)計方法 數(shù)據(jù)庫設(shè)計的基本步驟 數(shù)據(jù)庫設(shè)計過程中的各級模式 需求分析 需求分析的任務(wù) 需求分析的方法 數(shù)據(jù)字典 概念結(jié)構(gòu)設(shè)計 概念結(jié)構(gòu) 概念結(jié)構(gòu)的方法與步驟 數(shù)據(jù)抽象與局部視圖設(shè)計 視圖的集成 邏輯結(jié)構(gòu)設(shè)計 ER圖向關(guān)系模型的轉(zhuǎn)換 數(shù)據(jù)模型的優(yōu)化二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入了經(jīng)典的實例。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了數(shù)據(jù)庫設(shè)計的有關(guān)知識。第18課一、本次課的教學內(nèi)容 關(guān)系數(shù)據(jù)庫系統(tǒng)的查詢處理 查詢處理步驟l 查詢分析l 查詢檢查l 查詢優(yōu)化l 查詢執(zhí)行 實現(xiàn)查詢操作的算法示例 關(guān)系數(shù)據(jù)庫系統(tǒng)的查詢優(yōu)化 查詢優(yōu)化概述 一個實例 代數(shù)優(yōu)化 關(guān)系代數(shù)表達式等價變換規(guī)則 查詢樹的啟發(fā)式優(yōu)化二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并加入了經(jīng)典的實例。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了關(guān)系代數(shù)優(yōu)化的概念和優(yōu)化的方法。第19課一、本次課的教學內(nèi)容 事務(wù)的基本概念l 事務(wù)l 事務(wù)的特性n 原子性n 一致性n 隔離性n 持續(xù)性 數(shù)據(jù)庫恢復技術(shù)概述 故障的種類l 事務(wù)內(nèi)部的故障l 系統(tǒng)故障l 介質(zhì)故障l 計算機病毒 數(shù)據(jù)庫恢復的實現(xiàn)技術(shù) 數(shù)據(jù)轉(zhuǎn)儲 登記日志文件 恢復策略 二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入案例教學。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了數(shù)據(jù)庫的恢復技術(shù)。第20課一、本次課的教學內(nèi)容 并發(fā)控制技術(shù)概述 封鎖 活鎖和死鎖 活鎖 死鎖l 死鎖的預防l 死鎖的診斷與解除 并發(fā)調(diào)度的可串行性 可串行化調(diào)度 沖突可串行化調(diào)度 兩段鎖協(xié)議 封鎖的粒度二、本次課的教學方式主講式教學，將講義內(nèi)容講解完畢后，留少許時間讓學生提問。 三、本次課師生活動設(shè)計針對學生的提問，進行解答，并對典型的問題進行啟發(fā)式的講解四、本次課的電子教案根據(jù)教材分章節(jié)進行組織，對部分內(nèi)容進行了擴充，并引入案例教學。五、本次課的小結(jié)（或總結(jié)）、作業(yè)布置等本次課重點介紹了并發(fā)控制的技術(shù)。41