數(shù)據(jù)庫中一些常用的名詞解釋-資料下載頁
2025-08-04 00:01本頁面
【正文】 ，稱為屬性的值域。 ◆元組：在關系中，記錄稱為元組。 ◆超鍵：在關系中能唯一標識元組的屬性集稱為關系模式的超鍵。(注意，超鍵是一個屬性集) ◆候選鍵：不含有多余屬性的超鍵稱為候選鍵。 ◆主鍵：用戶選作元組標識的一個候選鍵為主鍵。 ◆外鍵：某個關系的主鍵相應的屬性在另一關系中出現(xiàn)，此時該主鍵在就是另一關系的外鍵，如有兩個關系S和SC,其中S是關系S的主鍵，相應的屬性S在關系SC中也出現(xiàn)，此時S就是關系SC的外鍵。 ◆實體完整性規(guī)則：這條規(guī)則要求關系中元組在組成主鍵的屬性上不能有空值。如果出現(xiàn)空值，那么主鍵值就起不了唯一標識元組的作用。 ◆參照完整性規(guī)則：這條規(guī)則要求“不引用不存在的實體”。其形式定義如下：如果屬性集K是關系模式R1的主鍵，K也是關系模式R2的外鍵，那么R2的關系中，K的取值只允許有兩種可能，或者為空值，或者等于R1關系中某個主鍵值?！ ?這條規(guī)則在使用時有三點應注意： 1)外鍵和相應的主鍵可以不同名，只要定義在相同值域上即可?！ ?2)R1和R2也可以是同一個關系模式，表示了屬性之間的聯(lián)系。 3)外鍵值是否允許空應視具體問題而定。 ◆過程性語言：在編程時必須給出獲得結果的操作步驟，即“干什么”和“怎么干”。如Pascal和C語言等。 ◆非過程性語言：編程時只須指出需要什么信息，不必組出具體的操作步驟的語言，各種關系查詢語言均屬于非過程性語言。 ◆無限關系：當一個關系中存在無窮多個元組時，此關系為無限關系。如元組表達式{t|┐R(t)}表示所有不在關系R中的元組的集合，這是一個無限關系。 ◆無窮驗證：在驗證公式時需對無窮多個元組進行驗證就是無窮驗證。如驗證公式(∨u)(P(u))的真假時需對所有的元組u進行驗證，這是一個無窮驗證的問題。 封鎖協(xié)議在運用X鎖和S鎖這兩種基本封鎖，對數(shù)據(jù)對象加鎖時，還需要約定一些規(guī)則，例如應何時申請X鎖或S鎖、持鎖時間、何時釋放等。我們稱這些規(guī)則為封鎖協(xié)議（Locking Protocol）。對封鎖方式規(guī)定不同的規(guī)則，就形成了各種不同的封鎖協(xié)議。下面介紹三級封鎖協(xié)議。三級封鎖協(xié)議分別在不同程度上解決了丟失的修改、不可重復讀和讀臟數(shù)據(jù)等不一致性問題，為并發(fā)操作的正確調(diào)度提供一定的保證。下面只給出三級封鎖協(xié)議的定義，不再做過多探討。 1級封鎖協(xié)議 1級封鎖協(xié)議是：事務T在修改數(shù)據(jù)R之前必須先對其加X鎖，直到事務結束才釋放。事務結束包括正常結束（COMMIT）和非正常結束（ROLLBACK）。1級封鎖協(xié)議可防止丟失修改，并保證事務T是可恢復的。在1級封鎖協(xié)議中，如果僅僅是讀數(shù)據(jù)不對其進行修改，是不需要加鎖的，所以它不能保證可重復讀和不讀臟數(shù)據(jù)。 2級封鎖協(xié)議 2級封鎖協(xié)議是：1級封鎖協(xié)議加上事務T在讀取數(shù)據(jù)R之前必須先對其加S鎖，讀完后即可釋放S鎖。2級封鎖協(xié)議除防止了丟失修改，還可進一步防止讀臟數(shù)據(jù)。 3級封鎖協(xié)議 3級封鎖協(xié)議是：1級封鎖協(xié)議加上事務T在讀取數(shù)據(jù)R之前必須先對其加S鎖，直到事務結束才釋放。3級封鎖協(xié)議除防止了丟失修改和不讀39。臟39。數(shù)據(jù)外，還進一步防止了不可重復讀。例如：一級封鎖協(xié)議read(x)。mutux x；write(x)；mutux x；二級封鎖協(xié)議mutux s；read(x)mutux s；mutux x；write(x)；mutux x。三級封鎖協(xié)議mutux s；read(x)；mutux x；write(x)；mutux x。mutux s；歡迎您的光臨，！希望您提出您寶貴的意見，你的意見是我進步的動力。贈語； 如果我們做與不做都會有人笑，如果做不好與做得好還會有人笑，那么我們索性就做得更好，來給人笑吧！ 現(xiàn)在你不玩命的學，以后命玩你。我不知道年少輕狂，我只知道勝者為王。不要做金錢、權利的奴隸；應學會做“金錢、權利”的主人。什么時候離光明最近？那就是你覺得黑暗太黑的時候。最值得欣賞的風景，是自己奮斗的足跡。壓力不是有人比你努力，而是那些比你牛幾倍的人依然比你努力。 參考
范文總結相關推薦
鄂ICP備17016276號-1