【正文】 24. 意向排它鎖：如果對一個數(shù)據(jù)對象加IX鎖，表示它的后裔結點擬加X鎖。 17. 事務遵守兩段鎖協(xié)議是可串行化調(diào)度的充分條件，而不是必要條件。然后Ｔ４又請求封鎖Ｒ，當Ｔ３釋放了Ｒ上的封鎖之后系統(tǒng)又批準了Ｔ４的請求……Ｔ２有可能永遠等待，這就是活鎖的情形。7. 基本封鎖類型：排它鎖（寫鎖X鎖）: 若事務T對數(shù)據(jù)對象A加上X鎖，則只允許T讀取和修改A，其他任何事務都不能再對A加任何類型的鎖，直到T釋放A上的鎖。216。14. 系統(tǒng)故障的恢復：正向掃描日志文件，找出在故障發(fā)生前已經(jīng)提交的事務，將其事務標志記入重做隊列；找出故障發(fā)生時尚未完成的事務，將其事務標識記入撤銷隊列。10. 日志文件是用來記錄事務對數(shù)據(jù)庫的更新操作的文件。216。5. 數(shù)據(jù)庫恢復機構的目的：保證事務的原子性； 當系統(tǒng)發(fā)生故障以后，數(shù)據(jù)庫能夠恢復到正確狀態(tài) 。2. 事務的和程序是兩個概念。22. 數(shù)據(jù)庫的物理設計可分為兩步：確定數(shù)據(jù)庫的物理結構；對物理結構進行評價。216。三種抽象：分類、聚集（整體與部分）、概括（一般與特殊，子集關系）。13. 數(shù)據(jù)項是不可再分的數(shù)據(jù)單位。 邏輯設計階段將ER圖轉換成具體的數(shù)據(jù)庫產(chǎn)品支持的數(shù)據(jù)模型，形成數(shù)據(jù)庫邏輯模式；然后根據(jù)用戶處理的要求、安全性的考慮，在基本表的基礎上再建立必要的視圖，形成數(shù)據(jù)的外模式；216。 數(shù)據(jù)庫物理設計：為邏輯數(shù)據(jù)模型建立一個完整的能實現(xiàn)的物理數(shù)據(jù)庫結構，包括存儲結構和存取方法。5. 按規(guī)范設計法可將數(shù)據(jù)庫設計分為六個階段：分析設計階段：前四個階段面向用戶的應用要求，面向具體的問題: 需求分析 概念結構設計面向數(shù)據(jù)庫管理系統(tǒng): 邏輯結構設計 物理結構設計實現(xiàn)和運行階段：后兩個階段面向具體的實現(xiàn)方法: 數(shù)據(jù)庫實施 數(shù)據(jù)庫運行與維護6. 數(shù)據(jù)庫設計的生存期：指從數(shù)據(jù)庫研制到不再使用它的整個時期。 設有一教學管理數(shù)據(jù)庫，其屬性包括：學號(S＃)，課程號(C＃)，成績(G)，任課教師(TN)，教師所在的系(D)。X(1)，所以再找出左部為ABCD子集的那些函數(shù)依賴，又得到C→E，AC→B，于是X(2)=X(1)∪BE= ABCDE。20. X→A1A2…Ak成立的充分必要條件是X→Ai成立21. 在關系模式R U，F(xiàn) 中為F所邏輯蘊含的函數(shù)依賴的全體叫做F的閉包，記為F＋。u 由語義可得到下面的函數(shù)依賴：(S，J)→T (S，T)→J T→J這里(S，J)，(S，T)都是候選碼。這兩個碼各由兩個屬性組成，而且它們是相交的。 對于關系模式Student(SNO，SNAME，SDEPT，SAGE)，假定SNAME也具有唯一性，那么Student就有兩個碼，這兩個碼都由單個屬性組成，彼此不相交。BCNF。3NF，則每一個非主屬性既不部分依賴于碼也不傳遞依賴于碼。u 這里碼為(SNO，CNO)。1NF。 7. 5NF 204。2. 函數(shù)依賴：設關系模式R(U)，是屬性集U上的關系模式， X和Y是U的子集。 一個系只有一名負責人；216。5. 完整性控制機制具有三個方面的功能：定義，檢查，保證數(shù)據(jù)的完整性。GRANT SELECT ON TABLE Student TO U1； 例3 把查詢Student表和修改學生學號的權限授予所有用戶。 例5 定義一個反映學生出生年份的視圖。而不存放視圖對應的數(shù)據(jù)，這些數(shù)據(jù)仍存放在原來的基本表中。 SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE = =))；32. 例46 查詢選修了課程1或者選修了課程2的學生學號。 例37 查詢與劉晨在同一個系學習的學生。 例31 查詢選修了3門以上課程的學生學號。確定范圍：例10 查詢年齡在20～23之間的學生的姓名、系別和年齡。14. 唯一索引是指每一個索引值只對應唯一的數(shù)據(jù)記錄。 ALTER TABLE Student ADD Se DATE；例3 將Student表Sage的數(shù)據(jù)類型改為INT ALTER TABLE Student MODIFY Sage INT；例4 刪除Student表學生姓名（Sname）的唯一性約束。主鍵約束：用于定義基本表的主鍵。 RESTRICT—限制刪除：如果該模式中已經(jīng)定義了下屬的數(shù)據(jù)庫對象，則拒絕該刪除語句的執(zhí)行。 pSno，Cno（SC）247。R247。11. 并：R∪S={t|t∈R∨t∈S} 差：RS={t|t∈R∧t207。n是關系的目或度。第二章 關系數(shù)據(jù)庫：1. 關系的三種完整性約束：實體完整性、參照完整性、用戶自定義的完整性。30. 模式/內(nèi)模式映像：定義數(shù)據(jù)邏輯結構和存儲結構之間的對應關系，當數(shù)據(jù)庫的存儲結構改變時，模式/內(nèi)模式的映像也必須作相應的修改，使得模式保持不變。屬性：一列。18. 數(shù)據(jù)模型的三要素：數(shù)據(jù)結構、數(shù)據(jù)操作、完整性約束19. 數(shù)據(jù)結構: 組成數(shù)據(jù)庫的對象類型的集合、對系統(tǒng)靜態(tài)特性的描述。10. 數(shù)據(jù)庫與文件系統(tǒng)的根本區(qū)別：數(shù)據(jù)結構化。4. 數(shù)據(jù)庫中的數(shù)據(jù)：按一定的數(shù)據(jù)模型組織、描述和存儲，具有較小的冗余度、較高的數(shù)據(jù)獨立性和易擴展性，可共享。5. 數(shù)據(jù)庫管理系統(tǒng)位于用戶與操作系統(tǒng)之間的一層數(shù)據(jù)管理軟件。11. 在數(shù)據(jù)庫中，不僅文件內(nèi)部數(shù)據(jù)彼此相關，而且文件之間在結構上也有機地聯(lián)系在一起。20. 數(shù)據(jù)操作：檢索（查詢）和更新（包括插入、刪除、修改）兩大類操作。主碼：可唯一標識元組的屬性或屬性組，也稱為關系的鍵。保證了數(shù)據(jù)的物理獨立性。2. 域：具有相同數(shù)據(jù)類型的值的集合。6. 由于域可以相同，為了加以區(qū)分，必須對每列起一個名字，稱為屬性（Attribute）。S} 交：R∩S={t|t∈R∧t∈S}廣義笛卡爾積：RS={tr⌒ts|tr∈R∧ts∈S}例如：給定兩個關系R和S 則有： 12. 選擇：在關系R中選擇滿足給定條件的諸元組。S={tr [X]| tr ∈R∧ pY（S）205。 pCno （Course）? pSno，Sname（Student）18. 元組關系演算以元組變量作為為此變元的基本對象。沒有下屬對象時才能執(zhí)行。 外鍵約束：是指一個表（稱從表）的一個列或列組合，它的值需要引用另一個表（稱引用表）的主鍵或唯一性鍵的值。 ALTER TABLE Student DROP UNIQUE（Sname）；11. 刪除基本表：DROP TABLE 表名；連同數(shù)據(jù)及視圖一同被刪除。 CREATE CLUSTER INDEX Stusname ON Student(Sname)；例 為學生課程數(shù)據(jù)庫中的Student，Course，SC三個表建立索引。 SELECT Sname，Sdept，Sage FROM Student WHERE Sage BETWEEN 20 AND 23；確定集合：例13 查詢不是信息系、數(shù)學系和計算機科學系學生的姓名和性別。 SELECT Sno FROM SC GROUP BY Sno HAVING COUNT（*）3；23. 連接條件：連接查詢中用來連接兩個表的條件。 SELECT Sno，Sname，Sdept FROM Student WHERE Sdept IN ( SELECT Sdept FROM Student WHERE Sname=‘劉晨’)；28. 不相關子查詢：子查詢的查詢條件不依賴于父查詢。 SELECT Sno FROM SC WHERE Cno=‘1’ UNION SELECT Sno FROM SC WHERE Cno=‘2’；33. 例48 查詢同時選修了課程1和課程2的學生學號。 例2 建立信息系學生的視圖，并要求更新視圖時仍保證視圖只有信息系的學生。 CREATE VIEW BT_S(Sno，Sname，Sbirth) AS SELECT Sno，Sname，2006Sage FROM Student；38. 刪除視圖：例8 刪除視圖IS_S1： DROP VIEW IS_S1；39. 視圖查詢： 例3 在S_G視圖中查詢平均成績在90分以上的學生學號和平均成績。 GRANT UPDATE(Sno)，SELECT ON TABLE Student TO PUBLIC；例5 DBA把在數(shù)據(jù)庫S_C中建立表權限授予用戶U8，并允許此權限再授予其他用戶。6. 實體完整性在CREATE TABLE中用PRIMARY KEY定義。 一個學生可以選修多門課程，每門課程有若干學生選修；216。若對于R(U)的任意一個可能的關系r，r中不可能存在兩個元組在X上的屬性值相等，而在Y上的屬性值不等，則稱X函數(shù)決定Y，或Y函數(shù)依賴于X，記作X→Y。 4NF 204。滿足這個條件的關系稱為規(guī)范化關系。滿足的函數(shù)依賴有： F(SNO，CNO) →G，SNO→SDEPT，SDEPT→SLOC，SNO→SLOC，P(SNO，CNO) →SDEPT，P(SNO，CNO)→SLOC 。考慮分解得到的關系模式SL(SNO，SDEPT，SLOC)。14.