【正文】 和方法使系統(tǒng)恢復(fù)到遭受破壞之前的某一正確狀態(tài)下。教學(xué)難點：如何理解并掌握系統(tǒng)利用數(shù)據(jù)轉(zhuǎn)儲和日志文件實現(xiàn)恢復(fù)的具體過程。 數(shù)據(jù)庫的物理設(shè)計 數(shù)據(jù)庫的實施和維護 小結(jié)教學(xué)工具：多媒體演示教學(xué)計劃：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第二十七講第七章數(shù)據(jù)庫恢復(fù)教學(xué)目的：使學(xué)生理解并掌握當(dāng)數(shù)據(jù)庫系統(tǒng)在正式投入運行后，在用戶使用的過程中因各種意外因素而發(fā)生的故障，造成系統(tǒng)的非正常終止，使得系統(tǒng)中的部分或全部數(shù)據(jù)遭到破壞，系統(tǒng)自身如何通過相應(yīng)的技術(shù)和方法使系統(tǒng)恢復(fù)到遭受破壞之前的某一正確狀態(tài)下。 概念結(jié)構(gòu)設(shè)計設(shè)計一個合適的關(guān)系模式是數(shù)據(jù)庫設(shè)計的關(guān)鍵。教學(xué)活動： 數(shù)據(jù)庫設(shè)計概述根據(jù)規(guī)范化設(shè)計方法，進行一般數(shù)據(jù)庫設(shè)計所應(yīng)遵循的六個步驟。特別是需求分析、概念結(jié)構(gòu)設(shè)計和邏輯結(jié)構(gòu)設(shè)計階段各自的主要任務(wù)。了解進行一般數(shù)據(jù)庫設(shè)計所應(yīng)經(jīng)歷哪幾個階段，每個階段所需完成的主要任務(wù)是什么。 邏輯結(jié)構(gòu)設(shè)計數(shù)據(jù)庫全體數(shù)據(jù)的描述是如何實現(xiàn)數(shù)據(jù)庫的前提。 需求分析需求分析所形成的數(shù)據(jù)流圖和數(shù)據(jù)字典是設(shè)計數(shù)據(jù)庫的基礎(chǔ)。教學(xué)難點：概念結(jié)構(gòu)設(shè)計階段中概念模型的設(shè)計，邏輯結(jié)構(gòu)設(shè)計階段中關(guān)于概念模型向關(guān)系數(shù)據(jù)模型的轉(zhuǎn)換。教學(xué)重點：使學(xué)生掌握并理解進行一般數(shù)據(jù)庫設(shè)計所應(yīng)遵循的幾個步驟，每個階段的主要任務(wù)。將一個關(guān)系模式既無損連接又保持依賴性分解到3NF的算法將一個關(guān)系模式無損連接分解到BCNF的算法將一個關(guān)系模式無損連接分解到4NF的算法教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第二十五講第六章數(shù)據(jù)庫設(shè)計教學(xué)目的：在理解并掌握前面幾章關(guān)于關(guān)系數(shù)據(jù)庫的概念，尤其是關(guān)系規(guī)范化理論后，使學(xué)生進一步掌握如何根據(jù)實際問題的需求進行具體的數(shù)據(jù)庫設(shè)計。函數(shù)依賴保持性的判斷方法。二、無損連接性和函數(shù)依賴保持性的判斷方法。教學(xué)活動：一、無損連接性和函數(shù)依賴保持性的含義。教學(xué)重點：無損連接性和函數(shù)依賴保持性的含義，無損連接性和函數(shù)依賴保持性的判斷方法，函數(shù)依賴的極小化以及模式分解的幾種算法。三、幾種模式分解算法將一個關(guān)系模式保持依賴性分解到3NF的算法。無損連接判斷表的使用。幾種等價分解的定義和分類。教學(xué)難點：如何掌握一個關(guān)系模式分解到3NF、BCNF和4NF，所采用的分解算法怎樣靈活運用。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第二十三講第五章 關(guān)系規(guī)范化理論教學(xué)目的：使學(xué)生了解1NF、2NF、3NF、BCNF和4NF的含義，及相互之間的聯(lián)系和區(qū)別，以及掌握如何從低程度范式向高程度范式轉(zhuǎn)換的原則和方法。一個關(guān)系模式所滿足的函數(shù)依賴的極小化處理的算法。教學(xué)活動：三、數(shù)據(jù)依賴的公理系統(tǒng)Armstrong公理系統(tǒng)的內(nèi)容，及由此所提出的幾條推理規(guī)則。教學(xué)重點：函數(shù)依賴的公理系統(tǒng)，屬性的閉包，函數(shù)依賴的極小化以及模式分解的幾種算法。三、候選關(guān)鍵字的求解理論和算法具有惟一候選關(guān)鍵字的求解的幾種方法關(guān)系模式的候選關(guān)鍵字求解的一般算法。二、函數(shù)依賴的等價與覆蓋關(guān)系模式的等價和覆蓋的含義求解屬性閉包的算法。教學(xué)難點：如何掌握一個關(guān)系模式分解到3NF、BCNF和4NF，所采用的分解算法怎樣靈活運用。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第二十一講第五章 關(guān)系規(guī)范化理論教學(xué)目的：使學(xué)生了解1NF、2NF、3NF、BCNF和4NF的含義，及相互之間的聯(lián)系和區(qū)別，以及掌握如何從低程度范式向高程度范式轉(zhuǎn)換的原則和方法。 規(guī)范化小結(jié)規(guī)范化的基本思想是將一個關(guān)系模式根據(jù)實際環(huán)境的需求，討論其屬性之間所存在的不好的性質(zhì)，可以逐步消除掉，使一個關(guān)系模式可以從低程度的范式向高程度的范式轉(zhuǎn)換達到自己的要求。一個關(guān)系模式僅僅討論函數(shù)依賴可以徹底分離到BCNF。教學(xué)活動： BCNF一個屬于第1范式的關(guān)系模式如果消除了任何屬性對主屬性的部分函數(shù)依賴和傳遞函數(shù)依賴所能達到的程度的范式。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第二十講第六章 關(guān)系規(guī)范化理論教學(xué)目的：使學(xué)生了解1NF、2NF、3NF、BCNF和4NF的含義，及相互之間的聯(lián)系和區(qū)別，以及了解從低程度范式向高程度范式轉(zhuǎn)換的原則和方法。 規(guī)范化小結(jié)規(guī)范化的基本思想是將一個關(guān)系模式根據(jù)實際環(huán)境的需求，討論其屬性之間所存在的不好的性質(zhì)，可以逐步消除掉，使一個關(guān)系模式可以從低程度的范式向高程度的范式轉(zhuǎn)換達到自己的要求。一個關(guān)系模式僅僅討論函數(shù)依賴可以徹底分離到BCNF。教學(xué)活動： BCNF一個屬于第1范式的關(guān)系模式如果消除了任何屬性對主屬性的部分函數(shù)依賴和傳遞函數(shù)依賴所能達到的程度的范式。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十九講第五章 關(guān)系規(guī)范化理論教學(xué)目的：使學(xué)生了解1NF、2NF、3NF、BCNF和4NF的含義，及相互之間的聯(lián)系和區(qū)別，以及了解從低程度范式向高程度范式轉(zhuǎn)換的原則和方法。 2NF在第1NF的基礎(chǔ)上消除了非主屬性對碼的部分函數(shù)依賴所能達到的程度的范式。主碼和外碼所滿足的現(xiàn)實意義 范式規(guī)范化的關(guān)系模式稱為范式。 函數(shù)依賴數(shù)據(jù)依賴的一種，分完全函數(shù)依賴、部分函數(shù)依賴和傳遞函數(shù)依賴，討論一個關(guān)系模式屬于第幾范式，是在函數(shù)依賴的范疇下進行的。教學(xué)活動： 問題的提出設(shè)計關(guān)系模式時，需要解決幾種異常問題，由此引入了關(guān)系規(guī)范化理論體系。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：22學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十八講第五章 關(guān)系規(guī)范理論教學(xué)目的：使學(xué)生了解針對一個實際問題如何構(gòu)造合適的關(guān)系模式來描述現(xiàn)實世界，怎樣從一個第1NF的關(guān)系模式規(guī)范到一個合適的程序的范式。 2NF在第1NF的基礎(chǔ)上消除了非主屬性對碼的部分函數(shù)依賴所能達到的程度的范式。主碼和外碼所滿足的現(xiàn)實意義 范式規(guī)范化的關(guān)系模式稱為范式。 函數(shù)依賴數(shù)據(jù)依賴的一種，分完全函數(shù)依賴、部分函數(shù)依賴和傳遞函數(shù)依賴，討論一個關(guān)系模式屬于第幾范式，是在函數(shù)依賴的范疇下進行的。教學(xué)活動： 問題的提出設(shè)計關(guān)系模式時，需要解決幾種異常問題，由此引入了關(guān)系規(guī)范化理論體系。教學(xué)難點：查詢優(yōu)化的策略教學(xué)活動：一、關(guān)系系統(tǒng)的定義二、關(guān)系系統(tǒng)的分類三、完備關(guān)系系統(tǒng)的準(zhǔn)則四、查詢優(yōu)化的一般原則和步驟教學(xué)工具：板書教學(xué)計劃學(xué)時：1學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十七講第五章 關(guān)系規(guī)范理論教學(xué)目的：使學(xué)生了解針對一個實際問題如何構(gòu)造合適的關(guān)系模式來描述現(xiàn)實世界，怎樣從一個第1NF的關(guān)系模式規(guī)范到一個合適的程序的范式。教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：2學(xué)時教學(xué)札記： 曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十六講第四章 關(guān)系系統(tǒng)及查詢優(yōu)化教學(xué)目的：使學(xué)生了解目前所流行的關(guān)系數(shù)據(jù)庫管理系統(tǒng)軟件從理論上那些符合關(guān)系系統(tǒng)的要求，給出了關(guān)系系統(tǒng)的定義、分類以及準(zhǔn)則，對一個關(guān)系系統(tǒng)用戶在使用它的過程中對每一個查詢操作采用怎樣的策略使計算機運行起來效率會更好。 定義視圖一、建立視圖二、刪除視圖 查詢視圖 更新視圖 視圖的作用 數(shù)據(jù)控制 授權(quán)Grant命令的靈活運用。教學(xué)重點：學(xué)習(xí)并掌握對視圖的操作及數(shù)據(jù)控制的幾個命令的使用。教學(xué)難點：如何對用戶的更新要求構(gòu)造使用的命令。教學(xué)活動： 嵌套查詢一、帶有IN謂詞的子查詢二、帶有比較運算符的子查詢?nèi)?、帶有ANY或ALL謂詞的子查詢四、帶有EXISTS謂詞的子查詢 集合查詢教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：2學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十四講第三章 SQL第四節(jié) 數(shù)據(jù)更新教學(xué)目的：使學(xué)生學(xué)習(xí)并靈活運用SQL所提供的實現(xiàn)對數(shù)據(jù)更新的幾個命令的使用。教學(xué)重點：對基本表的嵌套查詢形式及SQL如何實現(xiàn)傳統(tǒng)的集合運算。教學(xué)難點：如何對給定的涉及對多個以上表的查詢要求，構(gòu)造一個合適的連接查詢塊。教學(xué)活動： 單表查詢?nèi)?、對查詢結(jié)果排序四、使用集函數(shù)五、對查詢結(jié)果分組教學(xué)工具：多媒體演示教學(xué)計劃學(xué)時：2學(xué)時教學(xué)札記：曲阜師范大學(xué)計算機科學(xué)學(xué)院《數(shù)據(jù)庫系統(tǒng)概論》教案第十二講第三章 SQL第三節(jié) 查詢教學(xué)目的：使學(xué)習(xí)學(xué)習(xí)并靈活掌握SQL所提供的涉及對多表連接查詢命令形式。教學(xué)重點：單表查詢的不同查詢形式。教學(xué)難點：如何對給定的一個查詢要求，構(gòu)造一個合適的查詢