【正文】 即將日志記錄中 “更新后的值 ”寫入數(shù)據(jù)庫(kù)。 （ 1）正向掃描日志文件（即從頭掃描日志文件），找出在故障發(fā)生前已經(jīng)提交事務(wù)，將其事務(wù)標(biāo)識(shí)記入重做（ REDO）隊(duì)列。系統(tǒng)故障的恢復(fù)是由系統(tǒng)在重新啟動(dòng)時(shí)自動(dòng)完成的，不需要用戶干預(yù)。系統(tǒng)故障的恢復(fù)（ 2）對(duì)該事務(wù)的更新操作執(zhí)行逆操作。（ 1）反向掃描文件日志（即從最后向前掃描日志文件），查找該事務(wù)的更新操作。.必須先寫日志文件，后寫數(shù)據(jù)庫(kù)?！　?登記的次序嚴(yán)格按并發(fā)事務(wù)執(zhí)行的時(shí)間次序。 日志文件可以用來(lái)進(jìn)行事務(wù)故障恢復(fù)和系統(tǒng)故障恢復(fù)，并協(xié)助后備副本進(jìn)行介質(zhì)故障恢復(fù)。這些備用的數(shù)據(jù)文本稱為后備副本或后援副本。通常在一個(gè)數(shù)據(jù)庫(kù)系統(tǒng)中，這兩種方法是一起使用的。 2/28/2023 制作人：張宇敬 DBMS盡管數(shù)據(jù)庫(kù)系統(tǒng)中采取了各種保護(hù)措施來(lái)防止數(shù)據(jù)庫(kù)的安全性和完整性被破壞，保證并發(fā)事務(wù)的正確執(zhí)行，但是計(jì)算機(jī)系統(tǒng)中硬件的故障、軟件的錯(cuò)誤、操作員的失誤以及惡意的破壞仍是不可避免的，這些故障輕則造成運(yùn)行事務(wù)非正常中斷，影響數(shù)據(jù)庫(kù)中數(shù)據(jù)的正確性，重則破壞數(shù)據(jù)庫(kù)，使數(shù)據(jù)庫(kù)中全部或部分?jǐn)?shù)據(jù)丟失。2/28/2023 制作人：張宇敬 接下來(lái)的其他操作或故障不應(yīng)該對(duì)其執(zhí)行結(jié)果有任何影響。（ 即一個(gè)事務(wù)內(nèi)部的操作及使用的數(shù)據(jù)對(duì)其他并發(fā)事務(wù)是隔離的，并發(fā)執(zhí)行的各個(gè)事務(wù)之間不能互相干擾。3）隔離性 如果數(shù)據(jù)庫(kù)系統(tǒng)運(yùn)行中發(fā)生故障，有些事務(wù)尚未完成就被迫中斷，系統(tǒng)將事務(wù)中對(duì)數(shù)據(jù)庫(kù)的所有已完成的操作全部撤消，滾回到事務(wù)開(kāi)始時(shí)的一致?tīng)顟B(tài)。：事務(wù)執(zhí)行的結(jié)果必須是使數(shù)據(jù)庫(kù)從一個(gè)一致性狀態(tài)變到另一個(gè)一致性狀態(tài)。（ 1）原子性 事務(wù)具有四個(gè)特性：原子性、一致性、隔離性和持續(xù)性。TRANSACTIONCOMMITROLLBACK2/28/2023 制作人：張宇敬 如果用戶沒(méi)有顯式地定義事務(wù)，則由 DBMS按缺省規(guī)定自動(dòng)劃分事務(wù)。事務(wù)是用戶定義的一個(gè)操作序列，這些操作要么全做要么全不做，是一個(gè)不可分割的工作單位。 封鎖粒度與系統(tǒng)的并發(fā)度和并發(fā)控制的開(kāi)銷密切相關(guān)。封鎖的對(duì)象可以是邏輯單元，也可以是物理單元。② 超時(shí)法(2)順序封鎖法 一次封鎖法 預(yù)防死鎖通常有兩種方法：產(chǎn)生死鎖的原因是兩個(gè)或多個(gè)事務(wù)都已封鎖了一些數(shù)據(jù)對(duì)象，然后又都請(qǐng)求對(duì)已為其他事務(wù)封鎖的數(shù)據(jù)對(duì)象加鎖，從而出現(xiàn)死等待。死鎖的預(yù)防這樣就出現(xiàn)了 T1在等待 T2，而 T2又在等待 T1的局面， T1和 T2兩個(gè)事務(wù)永遠(yuǎn)不能結(jié)束，形成死鎖。如果事務(wù) T1封鎖了數(shù)據(jù) R1， T2封鎖了數(shù)據(jù) R2，然后 T1又請(qǐng)求封鎖 R2。2/28/2023 制作人：張宇敬　 3級(jí)封鎖協(xié)議除防止了丟失修改和不讀 ‘臟 ’數(shù)據(jù)外，還進(jìn)一步防止了不可重復(fù)讀?！　℃i，直到事務(wù)結(jié)束才釋放。之前必須先對(duì)其加 之前必須先對(duì)其加 X鎖，在讀取數(shù)據(jù) 3級(jí)封鎖協(xié)議：事務(wù) T在修改數(shù)據(jù) (3)S鎖。AA在 1級(jí)封鎖協(xié)議可防止丟失修改，并保證事務(wù) T是可恢復(fù)的。A(1)我們稱這些規(guī)則為封鎖協(xié)議。鎖對(duì)數(shù)據(jù)對(duì)象加鎖時(shí)，需約定一些規(guī)則。鎖和 在使用 2/28/2023 制作人：張宇敬 T在對(duì)某個(gè)數(shù)據(jù)對(duì)象（如表、記錄等）操作之前，先向系統(tǒng)發(fā)出請(qǐng)求，對(duì)其加鎖。封鎖就是事務(wù) 一 .丟失修改二 .不可重復(fù)讀三 .讀 “臟 ”數(shù)據(jù)（ dirty。并發(fā)控制機(jī)制是衡量一個(gè)數(shù)據(jù)庫(kù)管理系統(tǒng)性能的重要標(biāo)志之一。若對(duì)并發(fā)操作不加控制就可能會(huì)存取和存儲(chǔ)不正確的數(shù)據(jù)，破壞數(shù)據(jù)庫(kù)的一致性。 數(shù)據(jù)庫(kù)是一個(gè)共享資源，可以供多個(gè)用戶使用。2/28/2023 制作人：張宇敬 并發(fā)控制（ 外碼能否接受空值問(wèn)題 幾個(gè)問(wèn)題。保護(hù)功能，當(dāng)發(fā)現(xiàn)用戶的操作請(qǐng)求違背了數(shù)據(jù)的完整性約束條件，則采取一定的動(dòng)作來(lái)保證數(shù)據(jù)的完整性。 （ 2） 定義功能，提供定義完整性約束條件的機(jī)制。DBMS的完整性控制機(jī)制應(yīng)具有三個(gè)方面的功能： 2/28/2023 制作人：張宇敬動(dòng)態(tài)關(guān)系約束是加在關(guān)系變化前后狀態(tài)上的限制條件，例如事務(wù)一致性、原子性等約束條件。第六類、動(dòng)態(tài)關(guān)系約束 例如職工工資調(diào)整時(shí)新工資不得低于 第五類、動(dòng)態(tài)元組約束 常見(jiàn)的靜態(tài)關(guān)系約束有：實(shí)體完整性約束、參照完整性約束等。第三類、靜態(tài)關(guān)系約束 一個(gè)元組是由若干個(gè)列值組成的，靜態(tài)元組約束就是規(guī)定元組的各個(gè)列之間的約束關(guān)系。2/28/2023 制作人：張宇敬第二類、靜態(tài)元組約束 靜態(tài)列級(jí)約束是對(duì)一個(gè)列的取值域的說(shuō)明，這是最常用也最容易實(shí)現(xiàn)的一類完整性約束。 數(shù)據(jù)庫(kù)的完整性是指數(shù)據(jù)的正確性和相容性。則指政府部門建立的有關(guān)計(jì)算機(jī)犯罪、數(shù)據(jù)安全保密的法律道德準(zhǔn)則和政策法規(guī)、法令。（ 1）技術(shù)安全是指計(jì)算機(jī)系統(tǒng)中采用具有一定安全性的硬件、軟件來(lái)實(shí)現(xiàn)對(duì)計(jì)算機(jī)系統(tǒng)及其所存數(shù)據(jù)的安全保護(hù)，當(dāng)計(jì)算機(jī)系統(tǒng)受到無(wú)意或惡意的攻擊時(shí)仍能保證系統(tǒng)正常運(yùn)行，保證系統(tǒng)內(nèi)的數(shù)據(jù)不增加、不丟失、不泄露。 計(jì)算機(jī)系統(tǒng)的安全性問(wèn)題可分為三大類，即：技術(shù)安全類、管理安全類和政策法律類。數(shù)據(jù)庫(kù)保護(hù) 具有無(wú)損連接性的分解才能保證不丟失信息 R2〈 U2， F2〉 ,…,設(shè)關(guān)系模式 R〈 U， F〉被分解為若干關(guān)系模式但在現(xiàn)實(shí)世界中，設(shè)計(jì)數(shù)據(jù)庫(kù)模式結(jié)構(gòu)時(shí)，應(yīng)對(duì)用戶需要做進(jìn)一步的分析，確定一個(gè)合適的模式。一個(gè)關(guān)系只要其分量都是不可分的數(shù)據(jù)項(xiàng)，它就是規(guī)范化的關(guān)，但這是最基本的規(guī)范化。2/28/2023 制作人：張宇敬 關(guān)系模式的規(guī)范化上述定義說(shuō)明，若 R∈ 3NF，則每一個(gè)非主屬性既不部分依賴于碼也不傳遞依賴于碼。 →Y→ZR〈 U,F〉中若不存在侯選碼 X、屬性組 Y及非主屬性 Z(Z不滿足 1NF的數(shù)據(jù)庫(kù)模式不能稱為關(guān)系數(shù)據(jù)庫(kù)。1NFSLC（ Sno,Sdept,Sloc,Cno,Grade） R3NF1NF在第一范式基礎(chǔ)上進(jìn)一步碼組一些要求的為第二范式，簡(jiǎn)稱 2NF。目前主要有多種范式：第一范式、第二范式、第三范式、 BC范式等。范式是滿足一定函數(shù)依賴的關(guān)系模式的集合。 2/28/2023 制作人：張宇敬 范式若 R中有多個(gè)候選碼，則選定其中的一個(gè)作為主碼。 在關(guān)系 Std(Sno,Sdept,Mname)中，有Sno → Sdept Sdept →MnameMname傳遞依賴 Sno 。 → Y,則稱 Y對(duì) X完全函數(shù)依賴 ,記作 :X Y 。（ 3）完全函數(shù)依賴與部分函數(shù)依賴 定義 在 R(U)中 ,如果 X→Y ，并且對(duì)于 X的任何一個(gè)真子集 X39。若 Y X ，則稱 X→Y 是平凡的函數(shù)依賴。 若 X→Y, 則 X叫做決定因素 (Determinant)。若對(duì)于 R(U)的任意一個(gè)可能的關(guān)系 r， r中不可能存在兩個(gè)元組在 X上的屬性值相等 ,而在 Y上的屬性值不等 ,則稱 X函數(shù)確定 Y或 Y函數(shù)依賴于 X，記作 X→Y 。設(shè) R(U)是屬性集 U上的關(guān)系模式。 由于一個(gè)學(xué)號(hào)只對(duì)應(yīng)一個(gè)學(xué)生，一個(gè)學(xué)生只在一個(gè)系學(xué)習(xí)。函數(shù)依賴極為普遍地存在于現(xiàn)實(shí)生活中。函數(shù)依賴 (Functional它是現(xiàn)實(shí)世界屬性間相互聯(lián)系的抽象 ,是數(shù)據(jù)內(nèi)在的性質(zhì) ,是語(yǔ)義的體現(xiàn)。 時(shí)， r滿足 當(dāng)且僅當(dāng) U上的一個(gè)關(guān)系 〉由于 D和 DOM對(duì)模式設(shè)計(jì)關(guān)系不大 ,因此我們把關(guān)系模式看作是一個(gè)三元組：R〈 在實(shí)際應(yīng)用中，這些約束或者通過(guò)對(duì)屬性的取值范圍限定，或者通過(guò)屬性間的相互關(guān)連反映出來(lái) FDOM是屬性到域的映射； F是屬性組 U上的一組數(shù)據(jù)依賴關(guān)系的集合。R是關(guān)系名； DOM,R（ U,一個(gè)關(guān)系模式應(yīng)當(dāng)是一個(gè)五元組。 函數(shù)依賴 回首頁(yè)2/28/2023 制作人：張宇敬第 7章 有的關(guān)系數(shù)據(jù)庫(kù)中也用 +。外連接的運(yùn)算符通常為 表為主體列出每個(gè)學(xué)生的基本情況及其選課情況，若某個(gè)學(xué)生沒(méi)有選課，則只輸出其基本情況信息，其選課信息為空值即可，這時(shí)就需要使用外連接（ Outer有時(shí)我們想以 自身連接 連接謂詞中的列名稱為連接字段。使用其它運(yùn)算符稱為非等值連接。 [表名 2.]列名 3[表名 2.]列名 2[表名 1.]列名 1此外連接謂詞詞還可以使用下面形式：　　其中比較運(yùn)算符主要有： =、 、 、 =、 =、 !==、 !=比較運(yùn)算符 等值與非等值連接查詢 連接查詢主要包括等值連接、非等值連接查詢、自身連接查詢（自身連接）、外連接查詢（外連接）和復(fù)合條件連接查詢（復(fù)合條件連接）。2/28/2023 制作人：張宇敬BY子句可以將查詢結(jié)果表的各行按一列或多列取值相等的原則進(jìn)行分組。(7)139。WHEREMAX(Grade)FROM例 列名 )求一列值中的最大值 列名 )列名 )計(jì)算一列值的總和 SUM([DISTINCT|ALL]列名 )統(tǒng)計(jì)元組個(gè)數(shù) *)(6)DESC。BYWHEREFROMSno,例 對(duì)查詢結(jié)果排序 查詢滿足指定條件的元組可以通過(guò) WHERE子句實(shí)現(xiàn)。（ 4） SC。Snodistinct例 6（ 3） FROM*例 3（ 2） FROM SELECT查詢?nèi)w學(xué)生的學(xué)號(hào)與姓名 （ 1） 2/28/2023 制作人：張宇敬1.如果有 ORDER子句，則結(jié)果表還要按 列名 2的值的升序或降序排序。如果 GROUP子句帶 HAVING短語(yǔ)，則只有滿足指定條件的組才予輸出。如果有 GROUP子句，則將結(jié)果按 列名 1的值進(jìn)行分組，該屬性列值相等的元組為一個(gè)組，每個(gè)組產(chǎn)生結(jié)果表中的一條記錄。 列名 2[ORDER條件表達(dá)式 ]]BY條件表達(dá)式 ]表名或