2016年計(jì)算機(jī)等級考試三級數(shù)據(jù)庫技術(shù)常用名詞解釋

字號:

  ◆ DB:數(shù)據(jù)庫(Database),DB是統(tǒng)一管理的相關(guān)數(shù)據(jù)的集合。DB能為各種用戶共享,具有最小冗余度,數(shù)據(jù)間聯(lián)系密切,而又有較高的數(shù)據(jù)獨(dú)立性。
    ◆ DBMS:數(shù)據(jù)庫管理系統(tǒng)(Database Management System),DBMS是位于用戶與操作系統(tǒng)之間的一層數(shù)據(jù)管理軟件,為用戶或應(yīng)用程序提供訪問DB的方法,包括DB的建立、查詢、更新及各種數(shù)據(jù)控制。DBMS總是基于某種數(shù)據(jù)模型,可以分為層次型、網(wǎng)狀型、關(guān)系型、面向?qū)ο笮虳BMS。
    ◆ DBS:數(shù)據(jù)庫系統(tǒng)(Database System),DBS是實(shí)現(xiàn)有組織地、動(dòng)態(tài)地存儲(chǔ)大量關(guān)聯(lián)數(shù)據(jù),方便多用戶訪問的計(jì)算機(jī)軟件、硬件和數(shù)據(jù)資源組成的系統(tǒng),即采用了數(shù)據(jù)庫技術(shù)的計(jì)算機(jī)系統(tǒng)。
    ◆ 1:1聯(lián)系:如果實(shí)體集E1中的每個(gè)實(shí)體最多只能和實(shí)體集E2中的一個(gè)實(shí)體有聯(lián)系,反之亦然,好么實(shí)體集E1對E2的聯(lián)系稱為“一對一聯(lián)系”,記為“1:1”。
    ◆ 1:N聯(lián)系:如果實(shí)體集E1中每個(gè)實(shí)體與實(shí)體集E2中任意個(gè)(零個(gè)或多個(gè))實(shí)體有聯(lián)系,而E2中每個(gè)實(shí)體至多和E1中的一個(gè)實(shí)體有聯(lián)系,那么E1對E2的聯(lián)系是“一對多聯(lián)系”,記為“1:N”。
    ◆ M:N聯(lián)系:如果實(shí)體集E1中每個(gè)實(shí)體與實(shí)體集E2中任意個(gè)(零個(gè)或多個(gè))實(shí)體有聯(lián)系,反之亦然,那么E1對E2的聯(lián)系是“多對多聯(lián)系”,記為“M:N”。
    ◆ 數(shù)據(jù)模型:表示實(shí)體類型及實(shí)體類型間聯(lián)系的模型稱為“數(shù)據(jù)模型”。它可分為兩種類型:概念數(shù)據(jù)模型和結(jié)構(gòu)數(shù)據(jù)模型。
    ◆ 概念數(shù)據(jù)模型:它是獨(dú)門于計(jì)算機(jī)系統(tǒng)的模型,完全不涉及信息在系統(tǒng)中的表示,只是用來描述某個(gè)特定組織所關(guān)心的信息結(jié)構(gòu)。
    ◆ 結(jié)構(gòu)數(shù)據(jù)模型:它是直接面向數(shù)據(jù)庫的邏輯結(jié)構(gòu),是現(xiàn)實(shí)世界的第二層抽象。這類模型涉及到計(jì)算機(jī)系統(tǒng)和數(shù)據(jù)庫管理系統(tǒng),所以稱為“結(jié)構(gòu)數(shù)據(jù)模型”。結(jié)構(gòu)數(shù)據(jù)模型應(yīng)包含:數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)操作、數(shù)據(jù)完整性約束三部分。它主要有:層次、網(wǎng)狀、關(guān)系三種模型。
    ◆ 層次模型:用樹型結(jié)構(gòu)表示實(shí)體間聯(lián)系的數(shù)據(jù)模型
    ◆ 網(wǎng)狀模型:用有向圖結(jié)構(gòu)表示實(shí)體類型及實(shí)體間聯(lián)系的數(shù)據(jù)模型。
    ◆ 關(guān)系模型:是由若干個(gè)關(guān)系模式組成的集合,其主要特征是用二維表格結(jié)構(gòu)表達(dá)實(shí)體集,用外鍵表示實(shí)體間聯(lián)系。
    ◆ 概念模式:是數(shù)據(jù)庫中全部數(shù)據(jù)的整體邏輯結(jié)構(gòu)的描述。它由若干個(gè)概念記錄類型組成。概念模式不僅要描述概念記錄類型,還要描述記錄間的聯(lián)系、操作、數(shù)據(jù)的完整性、安全性等要求。
    ◆ 外模式:是用戶與數(shù)據(jù)庫系統(tǒng)的接口,是用戶用到的那部分?jǐn)?shù)據(jù)的描述。
    ◆ 內(nèi)模式:是數(shù)據(jù)庫在物理存儲(chǔ)方面的描述,定義所有的內(nèi)部記錄類型、索引和文件的組成方式,以及數(shù)據(jù)控制方面的細(xì)節(jié)。
    模式/內(nèi)模式映象:這個(gè)映象存在于概念級和內(nèi)部級之間,用于定義概念模式和內(nèi)模式間的對應(yīng)性,即概念記錄和內(nèi)部記錄間的對應(yīng)性。此映象一般在內(nèi)模式中描述。
    ◆ 外模式/模式映象:這人映象存在于外部級和概念級之間,用于定義外模式和概念模式間的對應(yīng)性,即外部記錄和內(nèi)部記錄間的對應(yīng)性。此映象都是在外模式中描述。
    ◆ 數(shù)據(jù)獨(dú)立性:在數(shù)據(jù)庫技術(shù)中,數(shù)據(jù)獨(dú)立性是指應(yīng)用程序和數(shù)據(jù)之間相互獨(dú)立,不受影響。數(shù)據(jù)獨(dú)立性分成物理數(shù)據(jù)獨(dú)立性和邏輯數(shù)據(jù)獨(dú)立性兩級。
    ◆ 物理數(shù)據(jù)獨(dú)立性:如果數(shù)據(jù)庫的內(nèi)模式要進(jìn)行修改,即數(shù)據(jù)庫的存儲(chǔ)設(shè)備和存儲(chǔ)方法有所變化,那么模式/內(nèi)模式映象也要進(jìn)行相應(yīng)的修改,使概念模式盡可能保持不變。也就是對模式的修改盡量不影響概念模式。
    ◆ 邏輯數(shù)據(jù)獨(dú)立性:如果數(shù)據(jù)庫的概念模式要進(jìn)行修改(如增加記錄類型或增加數(shù)據(jù)項(xiàng)),那么外模式/模式映象也要進(jìn)行相應(yīng)的修改,使外模式盡可能保持不變。也就是對概念模式的修改盡量不影響外模式和應(yīng)用程序。
    ◆ 宿主語言:編寫應(yīng)用程序的語言(即高級程序設(shè)計(jì)語言)在數(shù)據(jù)庫技術(shù)中稱為宿主語言(host language),簡稱主語言。
    ◆ DDL:數(shù)據(jù)定義語言(Data Definition Language),用于定義數(shù)據(jù)庫的三級結(jié)構(gòu),包括外模式、概念模式、內(nèi)模式及其相互之間的映象,定義數(shù)據(jù)的完整性、安全控制等約束。
    ◆ DML:數(shù)據(jù)操縱語言(Data Manipulation Language),用于讓用戶或程序員使用,實(shí)現(xiàn)對數(shù)據(jù)庫中數(shù)據(jù)的操作。基本的數(shù)據(jù)操作分成兩類四種:檢索(查詢)和更新(插入、刪除、修改)。DML分成交互型DML和嵌入型DML兩類。依據(jù)語言的級別,DML又可分成過程性DML和非過程性DML兩種。
    ◆ 交互型DML:這類DML自成系統(tǒng),可在終端上直接對數(shù)據(jù)庫進(jìn)行操作。
    ◆ 嵌入型DML:這類DML是嵌入在主語言中使用。此時(shí)主語言是經(jīng)過擴(kuò)充能處理DML語句的語言。
    ◆ 過程性DML:用戶編程時(shí),不僅需要指出“做什么”(需要什么樣的數(shù)據(jù)),還需要指出“怎么做”(怎么獲得數(shù)據(jù))。層狀、網(wǎng)狀的DML屬于過程性語言。
    ◆ 非過程性DML:用戶編程時(shí),只需要指出“做什么”,不需要指出“怎么做”。關(guān)系型DML屬于非過程性語言。
    ◆ DD:數(shù)據(jù)字典(Data Dictionary),數(shù)據(jù)庫系統(tǒng)中存放三級結(jié)構(gòu)定義的數(shù)據(jù)庫稱為數(shù)據(jù)字典。(通常DD還存放數(shù)據(jù)庫運(yùn)行時(shí)的統(tǒng)計(jì)信息)
    ◆ DD系統(tǒng):管理DD的實(shí)用程序稱為“DD系統(tǒng)”。
    ◆集中式DBS:是指數(shù)據(jù)庫中的數(shù)據(jù)集中存儲(chǔ)在一臺(tái)計(jì)算機(jī)上,數(shù)據(jù)的處理集中在一臺(tái)計(jì)算機(jī)上完成。
    ◆分布式DBS:是指數(shù)據(jù)存放在計(jì)算機(jī)網(wǎng)絡(luò)的不同場地的計(jì)算機(jī)中,每一場地都有自治處理能力并完成局部應(yīng)用;而每一場地也參與(至少一種)全局應(yīng)用程序的執(zhí)行,全局應(yīng)用程序可通過網(wǎng)絡(luò)通信訪問系統(tǒng)中的多個(gè)場地的數(shù)據(jù)。
    ◆分布式DB:是指計(jì)算機(jī)網(wǎng)絡(luò)環(huán)境中各場地上數(shù)據(jù)庫的邏輯集合。
    ◆分布式DBMS:是指分布式數(shù)據(jù)庫系統(tǒng)中的一組軟件,它負(fù)責(zé)管理分布環(huán)境下邏輯集成數(shù)據(jù)的存取、一致性、有效性和完備性。同時(shí)由于數(shù)據(jù)的分布性,在管理機(jī)制還必須具有計(jì)算機(jī)網(wǎng)絡(luò)通信協(xié)議上的分布管理特性。
    ◆局部自治性:是指有獨(dú)立處理能力并能完成的局部應(yīng)用。
    ◆數(shù)據(jù)分配(數(shù)據(jù)分布):是指數(shù)據(jù)計(jì)算機(jī)網(wǎng)絡(luò)各場地上的分配策略。
    ◆數(shù)據(jù)復(fù)制:是指數(shù)據(jù)在每個(gè)場地重復(fù)存儲(chǔ)。
    ◆數(shù)據(jù)分片:是指分布式數(shù)據(jù)庫中的數(shù)據(jù)可以被復(fù)制在網(wǎng)絡(luò)場地的各個(gè)物理數(shù)據(jù)庫中,數(shù)據(jù)分片是通過關(guān)系代數(shù)的基本運(yùn)算實(shí)現(xiàn)的。
    ◆水平分片:是指按一定條件把全局關(guān)系的所有元組劃分成若干不相交的子集,每個(gè)子集為關(guān)系的一個(gè)片段。
    ◆垂直分片:把一個(gè)全局關(guān)系的屬性集分成若干子集,并在這些子集上做投影運(yùn)算,每個(gè)投景為垂直分片。
    ◆分布透明性:指用戶不必關(guān)系數(shù)據(jù)的邏輯分片,不必關(guān)系數(shù)據(jù)物理位置的細(xì)節(jié),也不改善各個(gè)數(shù)據(jù)庫的數(shù)據(jù)模型。
    ◆分片透明性:分片透明性是層次的分布透明性,即用戶或應(yīng)用程序只對全局關(guān)系進(jìn)行操作而不必考慮數(shù)據(jù)的分片。
    ◆位置透明性:是指用戶或應(yīng)用程序應(yīng)當(dāng)了解分片情況,但不必了解片段的存儲(chǔ)場地。位置透明性位于分片視圖與分配視圖之間。
    ◆局部數(shù)據(jù)模型透明性:這個(gè)透明性位于分配視圖與局部概念視圖之間,指用戶或應(yīng)用程序要了解分片及各片段存儲(chǔ)的場地,但不必了解局部場地上使用的是何種數(shù)據(jù)模型。
    ◆復(fù)制透明性:即用戶不必關(guān)系數(shù)據(jù)庫在網(wǎng)絡(luò)中各個(gè)結(jié)點(diǎn)的數(shù)據(jù)庫復(fù)制情況,更新操作引起的波及由系統(tǒng)去處理。
    ◆ SQL模式:基本表的集合定義為SQL模式。一個(gè)SQL模式(即"數(shù)據(jù)庫模式")由模式名和模式擁有者的用戶名或賬號來確定,并包含模式中每一個(gè)元素(基本表、視圖、索引等)的定義。
    ◆ SQL數(shù)據(jù)庫:SQL(Structured Query
    Language),即‘結(jié)構(gòu)式查詢語言’,采用英語單詞表示和結(jié)構(gòu)式的語法規(guī)則。一個(gè)SQL數(shù)據(jù)庫是表的匯集,它用一個(gè)或多個(gè)SQL模式定義。
    ◆ 基本表:在SQL中,把傳統(tǒng)的關(guān)系模型中的關(guān)系模式稱為基本表(Base
    Table),基本表是本身獨(dú)立的表,一個(gè)關(guān)系就對應(yīng)一個(gè)基本表。
    ◆ 存儲(chǔ)文件:在SQL中,把傳統(tǒng)的關(guān)系模型中的存儲(chǔ)模式稱為存儲(chǔ)文件(Stored File)。
    ◆ 視圖:在SQL中,把傳統(tǒng)的關(guān)系模型中的子模式稱為視圖(View),視圖是從一個(gè)或多個(gè)基本表導(dǎo)出的表。
    ◆ 行:在SQL中,把傳統(tǒng)的關(guān)系模型中的元組稱為行(row)。
    ◆ 列:在SQL中,把傳統(tǒng)的關(guān)系模型中的屬性稱為列(coloumn)。
    ◆ 實(shí)表:基本表就被稱為實(shí)表,它是實(shí)際存放在數(shù)據(jù)庫中的表。
    ◆ 虛表:視圖就被稱為虛表,因?yàn)樵跀?shù)據(jù)庫中只存儲(chǔ)視圖的定義而不存放視圖所對應(yīng)的數(shù)據(jù)。
    ◆ 相關(guān)子查詢:在嵌套查詢中,內(nèi)層查詢稱為‘相關(guān)子查詢’,子查詢中查詢條件依賴于外層查詢中的某個(gè)值,所以子查詢的處理不只一次,要反復(fù)求值,以供外層查詢使用。
    ◆ 聯(lián)接查詢:查詢時(shí)先對表進(jìn)行笛卡爾積操作,然后再做等值聯(lián)接、選擇、投影等操作。聯(lián)接查詢的效率比嵌套查詢低。
    ◆ 交互式SQL:在終端交互方式下使用的SQL語言稱為交互式SQL。
    ◆ 嵌入式SQL:嵌入在高級語言的程序中使用的SQL語言稱為嵌入式SQL。
    ◆ 共享變量:在嵌入的SQL語句中引用宿主語言的程序變量稱為共享變量。
    ◆ 游標(biāo):游標(biāo)是與某一查詢結(jié)果相聯(lián)系的符號名,用于把集合操作轉(zhuǎn)換成單記錄處理方式。
    ◆ 卷游標(biāo):卷游標(biāo)在推進(jìn)時(shí)不但能沿查詢結(jié)果中元組順序從頭到尾一行行推進(jìn),也能一行行返回(而游標(biāo)是不能返回的)。
    ◆函數(shù)依賴:FD(function dependency),設(shè)有關(guān)系模式R(U),X,Y是U的子集,r是R的任一具體關(guān)系,如果對r的任意兩個(gè)元組t1,t2,由t1[X]=t2[X]導(dǎo)致t1[Y]=t2[Y],則稱X函數(shù)決定Y,或Y函數(shù)依賴于X,記為X→Y。X→Y為模式R的一個(gè)函數(shù)依賴。
    ◆函數(shù)依賴的邏輯蘊(yùn)涵:設(shè)F是關(guān)系模式R的一個(gè)函數(shù)依賴集,X,Y是R的屬性子集,如果從F中的函數(shù)依賴能夠推出X→Y,則稱F邏輯蘊(yùn)涵X→Y,記為F|=X→Y。
    ◆部分函數(shù)依賴:即局部依賴,對于一個(gè)函數(shù)依賴W→A,如果存在X W(X包含于W)有X→A成立,那么稱W→A是局部依賴,否則稱W→A為完全依賴。
    ◆完全函數(shù)依賴:見上。
    ◆傳遞依賴:在關(guān)系模式中,如果Y→X,X→A,且X→(表示不決定)Y,和A X(A不屬于X),那么稱Y→A是傳遞依賴。
    ◆函數(shù)依賴集F的閉包F+:被邏輯蘊(yùn)涵的函數(shù)依賴的全體構(gòu)成的集合,稱為F的閉包(closure),記為F+。
    ◆1NF:第一范式。如果關(guān)系模式R的所有屬性的值域中每一個(gè)值都是不可再分解的值,則稱R是屬于第一范式模式。如果某個(gè)數(shù)據(jù)庫模式都是第一范式的,則稱該數(shù)據(jù)庫存模式屬于第一范式的數(shù)據(jù)庫模式。
    第一范式的模式要求屬性值不可再分裂成更小部分,即屬性項(xiàng)不能是屬性組合和組屬性組成。
    ◆2NF:第二范式。如果關(guān)系模式R為第一范式,并且R中每一個(gè)非主屬性完全函數(shù)依賴于R的某個(gè)候選鍵,則稱是第二范式模式;如果某個(gè)數(shù)據(jù)庫模式中每個(gè)關(guān)系模式都是第二范式的,則稱該數(shù)據(jù)庫模式屬于第二范式的數(shù)據(jù)庫模式。(注:如果A是關(guān)系模式R的候選鍵的一個(gè)屬性,則稱A是R的主屬性,否則稱A是R的非主屬性。)
    ◆3NF:第三范式。如果關(guān)系模式R是第二范式,且每個(gè)非主屬性都不傳遞依賴于R的候選鍵,則稱R是第三范式的模式。如果某個(gè)數(shù)據(jù)庫模式中的每個(gè)關(guān)系模式都是第三范式,則稱為3NF的數(shù)據(jù)庫模式。
    ◆BCNF:BC范式。如果關(guān)系模式R是第一范式,且每個(gè)屬性都不傳遞依賴于R的候選鍵,那么稱R是BCNF的模式。
    ◆4NF:第四范式。設(shè)R是一個(gè)關(guān)系模式,D是R上的多值依賴集合。如果D中成立非平凡多值依賴X→→Y時(shí),X必是R的超鍵,那么稱R是第四范式的模式。
    ◆推理規(guī)則的正確性和完備性:正確性是指,如果X→Y是從推理規(guī)則推出的,那么X→Y在F+中。完備性是指,不能從F使用推理規(guī)則導(dǎo)出的函數(shù)依賴不在F+中。
    ◆依賴集的覆蓋和等價(jià):關(guān)系模式R(U)上的兩個(gè)函數(shù)依賴集F和G,如果滿足F+=G+,則稱F和G是等價(jià)的。如果F和G等價(jià),則可稱F覆蓋G或G覆蓋F。
    ◆最小依賴集:如果函數(shù)集合F滿足以下三個(gè)條件:(1)F中每個(gè)函數(shù)依賴的右部都是單屬性;(2)F中的任一函數(shù)依賴X→A,其F-{X→A}與F是不等價(jià)的;(3)F中的任一函數(shù)依賴X→A,Z為X的子集。(F-{X→A}∪{Z→A}與F不等價(jià)。則稱F為最小函數(shù)依賴集合,記為Fmin。
    ◆無損聯(lián)接:設(shè)R是一關(guān)系模式,分解成關(guān)系模式ρ={R1,R2...,Rk},F是R上的一個(gè)函數(shù)依賴集。如果對R中滿足F的每一個(gè)關(guān)系r都有r=πR1(r)|X|πR2(r)|X|...|X|πRk(r)則稱這個(gè)分解相對于F是"無損聯(lián)接分解"。
    ◆保持依賴集:所謂保持依賴就是指關(guān)系模式的函數(shù)依賴集在分解后仍在數(shù)據(jù)庫中保持不變,即關(guān)系模式R到ρ={R1,R2,...,Rk}的分解,使函數(shù)依賴集F被F這些Ri上的投影蘊(yùn)涵。
    ◆多值依賴:設(shè)R(U)是屬性集U上的一個(gè)關(guān)系模式,X,Y,Z是U的子集,并且Z=U-X-Y,用x,y,z分別代表屬性集X,Y,Z的值,只要r是R的關(guān)系,r中存在元組(x,y1,z1)和(x,y2,z2)時(shí),就也存在元組(x,y1,z2)和(x,y2,z1),那么稱多值依賴(MultiValued Dependency MVD) X→→Y在關(guān)系模式R中成立。
    ◆數(shù)據(jù)庫設(shè)計(jì):數(shù)據(jù)庫設(shè)計(jì)是指對一個(gè)給定的應(yīng)用環(huán)境,提供一個(gè)確定數(shù)據(jù)模型與處理模式的邏輯設(shè)計(jì),以及一個(gè)確定數(shù)據(jù)庫存儲(chǔ)結(jié)構(gòu)與存取方法的物理設(shè)計(jì),建立起既能反映現(xiàn)實(shí)世界信息和信息聯(lián)系,滿足用戶數(shù)據(jù)要求和加工要求,以能被某個(gè)數(shù)據(jù)庫管理系統(tǒng)所接受,同時(shí)能實(shí)現(xiàn)系統(tǒng)目標(biāo),并有效存取數(shù)據(jù)的數(shù)據(jù)庫。
    ◆數(shù)據(jù)庫工程:數(shù)據(jù)庫應(yīng)用系統(tǒng)的開發(fā)就是數(shù)據(jù)庫工程,它是一項(xiàng)軟件工程,但有其自身的特點(diǎn)。
    ◆評審:是指為了確認(rèn)某一階段的任務(wù)是否全部完成,避免重大的疏漏或錯(cuò)誤的評價(jià)和審查工作。其目的是要盡早發(fā)現(xiàn)系統(tǒng)中設(shè)計(jì)中的錯(cuò)誤,并在生存期的早期階段給予糾正,以減少系統(tǒng)研制的成本。
    ◆數(shù)據(jù)字典:是對系統(tǒng)中數(shù)據(jù)的詳盡描述,它提供對數(shù)據(jù)庫數(shù)據(jù)描述的集中管理。它的處理功能是存儲(chǔ)和檢索元數(shù)據(jù),并且為數(shù)據(jù)庫管理員提供有關(guān)的報(bào)告。對數(shù)據(jù)庫設(shè)計(jì)來說,數(shù)據(jù)字典是進(jìn)行詳細(xì)的數(shù)據(jù)收集和數(shù)據(jù)分析所獲得的主要成果。主要包括四個(gè)部分:數(shù)據(jù)項(xiàng)、數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)流、數(shù)據(jù)存儲(chǔ)。
    ◆事務(wù):事務(wù)是指一個(gè)操作序列,這些操作要么什么都做,要么都不做,是一個(gè)不可分割的工作單位,是數(shù)據(jù)庫環(huán)境中的邏輯工作單位,相當(dāng)于操作系統(tǒng)環(huán)境下的"進(jìn)程"概念。
    ◆封鎖:封鎖就是事務(wù)可以向系統(tǒng)發(fā)出請求,對某個(gè)數(shù)據(jù)對象加鎖,此事務(wù)對這個(gè)數(shù)據(jù)對象有一定控制,而其他事務(wù)則不能更新數(shù)據(jù)直到事務(wù)釋放它的鎖為止。
    ◆X封鎖:一個(gè)事務(wù)對某數(shù)據(jù)加鎖后,其他事務(wù)就不得再對這個(gè)數(shù)據(jù)對象加鎖,稱為排他型封鎖即X封鎖。
    ◆PX協(xié)議:任何企圖更新記錄R的事務(wù)必須先執(zhí)行LOCK X(R)操作,以獲得對該記錄進(jìn)行尋址的能力,并對它取得X封鎖。如果未獲得X封鎖,那么這個(gè)事務(wù)進(jìn)入等待狀態(tài),一直到獲準(zhǔn)X封鎖,事務(wù)繼續(xù)進(jìn)行。
    ◆PXC協(xié)議:它由PX協(xié)議及一條規(guī)則"X封鎖必須保留到事務(wù)終點(diǎn)(COMMIT或ROLLBACK)"組成。即任何企圖更新記錄R的事務(wù)必須先執(zhí)行LOCK X(R)操作,以獲得對該記錄進(jìn)行尋址的能力,并對它取得X封鎖,如果未獲得X封鎖,那么這個(gè)事務(wù)進(jìn)入等待狀態(tài),一直到上一事務(wù)到終點(diǎn),事務(wù)才繼續(xù)進(jìn)行。
    ◆活鎖:是指某個(gè)事務(wù)永遠(yuǎn)處于等待狀態(tài),得不到執(zhí)行的現(xiàn)象。
    ◆死鎖:有兩個(gè)或以上的事務(wù)處于等待狀態(tài),每個(gè)事務(wù)都在等待另一個(gè)事務(wù)解除封鎖,它才能繼續(xù)執(zhí)行下去,結(jié)果任何一個(gè)事務(wù)都無法執(zhí)行,這種現(xiàn)象就是死鎖。
    ◆串行調(diào)度:事務(wù)的依次執(zhí)行稱為串行調(diào)度。
    ◆并發(fā)調(diào)度:利用分時(shí)的方法,同時(shí)處理多個(gè)事務(wù),稱為事務(wù)的并發(fā)調(diào)度。
    ◆可串行化調(diào)度:對于事務(wù)集(T<1>,T<2>,…,T),如果一個(gè)并發(fā)調(diào)度的結(jié)果與一個(gè)串行調(diào)度等價(jià),則稱此調(diào)度是是可串行化調(diào)度。
    ◆不可串行化調(diào)度:對于某事務(wù)集的一個(gè)并發(fā)調(diào)度結(jié)果如果與任一串行調(diào)度均不等價(jià),則該調(diào)度是不可串行化調(diào)度。
    ◆S封鎖:共享型封鎖,是一種讀操作鎖,若事務(wù)T對數(shù)據(jù)加上S鎖,則其他事務(wù)只能在此數(shù)據(jù)對象上加S鎖,而不參加X鎖,直到事務(wù)T釋放了數(shù)據(jù)對象上的S鎖為止。
    ◆PS協(xié)議:任何要更新記錄R的事務(wù)必須先執(zhí)行LOCK
    S(R)操作,以獲得對該記錄尋址的能力并對它取得S封鎖。如果未獲準(zhǔn)S封鎖,那么這個(gè)事務(wù)進(jìn)入等待狀態(tài),一直到獲準(zhǔn)S封鎖,事務(wù)才繼續(xù)進(jìn)行下去。當(dāng)事務(wù)獲準(zhǔn)對記錄R的要封鎖后,在記錄R修改前必須把S封鎖升級為X封鎖。
    ◆PSC協(xié)議:任何更新記錄R的事務(wù)必須先執(zhí)行LOCK S(R)操作,以獲得對該記錄尋址的能力并對它取得S封鎖。如果未獲準(zhǔn)S封鎖,那么這個(gè)事務(wù)進(jìn)入等待狀態(tài),一直到獲準(zhǔn)S封鎖,事務(wù)才繼續(xù)進(jìn)行下去。并將S封鎖保持到事務(wù)終點(diǎn)。
    ◆兩段封鎖協(xié)議:在對任何數(shù)據(jù)進(jìn)行讀寫操作之前,事務(wù)首先要獲得對該數(shù)據(jù)的封鎖;在釋放一個(gè)封鎖之后,事務(wù)不再獲得任何其他封鎖。
    ◆關(guān)系模型:用二維表格結(jié)構(gòu)表示實(shí)體集,外鍵表示實(shí)體間聯(lián)系的數(shù)據(jù)模型稱為關(guān)系模型。關(guān)系模型是由若干個(gè)關(guān)系模式組成的集合。
    ◆關(guān)系模式:關(guān)系模式實(shí)際上就是記錄類型。它包括:模式名,屬性名,值域名以及模式的主鍵。關(guān)系模式僅是對數(shù)據(jù)特性的描述。
    ◆關(guān)系實(shí)例:就是一個(gè)關(guān)系,即一張二維表格。
    ◆屬性:在關(guān)系模型中,字段稱為屬性。
    ◆域:在關(guān)系中,每一個(gè)屬性都有一個(gè)取值范圍,稱為屬性的值域。
    ◆元組:在關(guān)系中,記錄稱為元組。
    ◆超鍵:在關(guān)系中能標(biāo)識(shí)元組的屬性集稱為關(guān)系模式的超鍵。(注意,超鍵是一個(gè)屬性集)
    ◆候選鍵:不含有多余屬性的超鍵稱為候選鍵。
    ◆主鍵:用戶選作元組標(biāo)識(shí)的一個(gè)候選鍵為主鍵。
    ◆外鍵:某個(gè)關(guān)系的主鍵相應(yīng)的屬性在另一關(guān)系中出現(xiàn),此時(shí)該主鍵在就是另一關(guān)系的外鍵,如有兩個(gè)關(guān)系S和SC,其中S#是關(guān)系S的主鍵,相應(yīng)的屬性S#在關(guān)系SC中也出現(xiàn),此時(shí)S#就是關(guān)系SC的外鍵。
    ◆實(shí)體完整性規(guī)則:這條規(guī)則要求關(guān)系中元組在組成主鍵的屬性上不能有空值。如果出現(xiàn)空值,那么主鍵值就起不了標(biāo)識(shí)元組的作用。
    ◆參照完整性規(guī)則:這條規(guī)則要求“不引用不存在的實(shí)體”。其形式定義如下:如果屬性集K是關(guān)系模式R1的主鍵,K也是關(guān)系模式R2的外鍵,那么R2的關(guān)系中,K的取值只允許有兩種可能,或者為空值,或者等于R1關(guān)系中某個(gè)主鍵值。
    這條規(guī)則在使用時(shí)有三點(diǎn)應(yīng)注意:
    1)外鍵和相應(yīng)的主鍵可以不同名,只要定義在相同值域上即可。
    2)R1和R2也可以是同一個(gè)關(guān)系模式,表示了屬性之間的聯(lián)系。
    3)外鍵值是否允許空應(yīng)視具體問題而定。
    ◆過程性語言:在編程時(shí)必須給出獲得結(jié)果的操作步驟,即“干什么”和“怎么干”。如Pascal和C語言等。
    ◆非過程性語言:編程時(shí)只須指出需要什么信息,不必組出具體的操作步驟的語言,各種關(guān)系查詢語言均屬于非過程性語言。
    ◆無限關(guān)系:當(dāng)一個(gè)關(guān)系中存在無窮多個(gè)元組時(shí),此關(guān)系為無限關(guān)系。如元組表達(dá)式{t|┐R(t)}表示所有不在關(guān)系R中的元組的集合,這是一個(gè)無限關(guān)系。
    ◆無窮驗(yàn)證:在驗(yàn)證公式時(shí)需對無窮多個(gè)元組進(jìn)行驗(yàn)證就是無窮驗(yàn)證。如驗(yàn)證公式(∨u)(P(u))的真假時(shí)需對所有的元組u進(jìn)行驗(yàn)證,這是一個(gè)無窮驗(yàn)證的問題。