1、數(shù)據(jù)庫(kù)常用名詞解釋DB:數(shù)據(jù)庫(kù)（Database）,DB是統(tǒng)一管理的相關(guān)數(shù)據(jù)的集合。DB能為各種用戶共享，具有最小冗余度，數(shù)據(jù)間聯(lián)系密切，而又有較高的數(shù)據(jù)獨(dú)立性。超鍵：在關(guān)系中能唯一標(biāo)識(shí)元組的屬性集稱(chēng)為關(guān)系模式的超鍵。（注意，超鍵是一個(gè)屬性集）候選鍵：不含有多余屬性的超鍵稱(chēng)為候選鍵。主鍵：用戶選作元組標(biāo)識(shí)的一個(gè)候選鍵為主鍵。外鍵：某個(gè)關(guān)系的主鍵相應(yīng)的屬性在另一關(guān)系中出現(xiàn)，此時(shí)該主鍵在就是另一關(guān)系的外鍵，如有兩個(gè)關(guān)系S和SM中S融關(guān)系S的主鍵，相應(yīng)的屬性S#S關(guān)系SC中也出現(xiàn)，此時(shí)s#a是關(guān)系SC的外鍵。實(shí)體完整性規(guī)則：這條規(guī)則要求關(guān)系中元組在組成主鍵的屬性上不能有空值。如果出現(xiàn)空值，那么主鍵值

2、就起不了唯一標(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)視具體問(wèn)題而定。過(guò)程性語(yǔ)言：在編程時(shí)必須給出獲得結(jié)果的操作步驟，即“干什么”和“怎么干”。如Pascal和C語(yǔ)言等。非過(guò)程性語(yǔ)言：編程時(shí)只須指出需要什么信息，不必組出具體的操作步驟的語(yǔ)言，

3、各種關(guān)系查詢語(yǔ)言均屬于非過(guò)程性語(yǔ)言。無(wú)限關(guān)系：當(dāng)一個(gè)關(guān)系中存在無(wú)窮多個(gè)元組時(shí)，此關(guān)系為無(wú)限關(guān)系。如元組表達(dá)式t|nR表示所有不在關(guān)系R中的元組的集合，這是一個(gè)無(wú)限關(guān)系。無(wú)窮驗(yàn)證：在驗(yàn)證公式時(shí)需對(duì)無(wú)窮多個(gè)元組進(jìn)行驗(yàn)證就是無(wú)窮驗(yàn)證。如驗(yàn)證公式（Vu）（P（u）的真假時(shí)需對(duì)所有的元組u進(jìn)行驗(yàn)證，這是一個(gè)無(wú)窮驗(yàn)證的問(wèn)題。DBMS：數(shù)據(jù)庫(kù)管理系統(tǒng)(DatabaseManagementSystem),DBMS是位于用戶與操作系統(tǒng)之間的一層數(shù)據(jù)管理軟件，為用戶或應(yīng)用程序提供訪問(wèn)DB的方法，包括DB的建立、查詢、更新及各種數(shù)據(jù)控制。DBMS總是基于某種數(shù)據(jù)模型，可以分為層次型、網(wǎng)狀型、關(guān)系型、面向?qū)ο笮虳BM

4、S。 DBS:數(shù)據(jù)庫(kù)系統(tǒng)(DatabaseSystem),DB配實(shí)現(xiàn)有組織地、動(dòng)態(tài)地存儲(chǔ)大量關(guān)聯(lián)數(shù)據(jù)，方便多用戶訪問(wèn)的計(jì)算機(jī)軟件、硬件和數(shù)據(jù)資源組成的系統(tǒng)，即采用了數(shù)據(jù)庫(kù)技術(shù)的計(jì)算機(jī)系統(tǒng)。 1:1聯(lián)系：如果實(shí)體集E1中的每個(gè)實(shí)體最多只能和實(shí)體集E2中的一個(gè)實(shí)體有聯(lián)系，反之亦然，好么實(shí)體集E1對(duì)E2的聯(lián)系稱(chēng)為“一對(duì)一聯(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對(duì)E2的聯(lián)系是“一對(duì)多聯(lián)系”，記為“1:N”。 M:N聯(lián)系：如果實(shí)體集E1中每個(gè)實(shí)體與實(shí)體集E2中任意個(gè)(零個(gè)或多個(gè))實(shí)體

5、有聯(lián)系，反之亦然，那么E1對(duì)E2的聯(lián)系是“多對(duì)多聯(lián)系”，記為“M:N”。 數(shù)據(jù)模型：表示實(shí)體類(lèi)型及實(shí)體類(lèi)型間聯(lián)系的模型稱(chēng)為“數(shù)據(jù)模型”。它可分為兩種類(lèi)型：概念數(shù)據(jù)模型和結(jié)構(gòu)數(shù)據(jù)模型。 概念數(shù)據(jù)模型：它是獨(dú)門(mén)于計(jì)算機(jī)系統(tǒng)的模型，完全不涉及信息在系統(tǒng)中的表示，只是用來(lái)描述某個(gè)特定組織所關(guān)心的信息結(jié)構(gòu)。 結(jié)構(gòu)數(shù)據(jù)模型：它是直接面向數(shù)據(jù)庫(kù)的邏輯結(jié)構(gòu)，是現(xiàn)實(shí)世界的第二層抽象。這類(lèi)模型涉及到計(jì)算機(jī)系統(tǒng)和數(shù)據(jù)庫(kù)管理系統(tǒng)，所以稱(chē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)系三種模型。 層次模型：用樹(shù)型結(jié)構(gòu)表示實(shí)體間聯(lián)系的數(shù)據(jù)模型 網(wǎng)狀模型：用有向圖

6、結(jié)構(gòu)表示實(shí)體類(lèi)型及實(shí)體間聯(lián)系的數(shù)據(jù)模型。 關(guān)系模型：是由若干個(gè)關(guān)系模式組成的集合，其主要特征是用二維表格結(jié)構(gòu)表達(dá)實(shí)體集，用外筵表示實(shí)體間聯(lián)系。 概念模式：是數(shù)據(jù)庫(kù)中全部數(shù)據(jù)的整體邏輯結(jié)構(gòu)的描述。它由若干個(gè)概念記錄類(lèi)型組成。概念模式不僅要描述概念記錄類(lèi)型，還要描述記錄間的聯(lián)系、操作、數(shù)據(jù)的完整性、安全性等要求。 外模式：是用戶與數(shù)據(jù)庫(kù)系統(tǒng)的接口，是用戶用到的那部分?jǐn)?shù)據(jù)的描述。 內(nèi)模式：是數(shù)據(jù)庫(kù)在物理存儲(chǔ)方面的描述，定義所有的內(nèi)部記錄類(lèi)型、索引和文件的組成方式，以及數(shù)據(jù)控制方面的細(xì)節(jié)。模式/內(nèi)模式映象：這個(gè)映象存在于概念級(jí)和內(nèi)部級(jí)之間，用于定義概念模式和內(nèi)模式間的對(duì)應(yīng)性，即概念記錄和內(nèi)部記錄間的對(duì)

7、應(yīng)性。此映象一般在內(nèi)模式中描述。外模式/模式映象：這人映象存在于外部級(jí)和概念級(jí)之間，用于定義外模式和概念模式間的對(duì)應(yīng)性，即外部記錄和內(nèi)部記錄間的對(duì)應(yīng)性。此映象都是在外模式中描述。數(shù)據(jù)獨(dú)立性：在數(shù)據(jù)庫(kù)技術(shù)中，數(shù)據(jù)獨(dú)立性是指應(yīng)用程序和數(shù)據(jù)之間相互獨(dú)立，不受影響。數(shù)據(jù)獨(dú)立性分成物理數(shù)據(jù)獨(dú)立性和邏輯數(shù)據(jù)獨(dú)立性兩級(jí)。物理數(shù)據(jù)獨(dú)立性：如果數(shù)據(jù)庫(kù)的內(nèi)模式要進(jìn)行修改，即數(shù)據(jù)庫(kù)的存儲(chǔ)設(shè)備和存儲(chǔ)方法有所變化，那么模式/內(nèi)模式映象也要進(jìn)行相應(yīng)的修改，使概念模式盡可能保持不變。也就是對(duì)模式的修改盡量不影響概念模式。邏輯數(shù)據(jù)獨(dú)立性：如果數(shù)據(jù)庫(kù)的概念模式要進(jìn)行修改（如增加記錄類(lèi)型或增加數(shù)據(jù)項(xiàng)），那么外模式/模式映象也要進(jìn)

8、行相應(yīng)的修改，使外模式盡可能保持不變。也就是對(duì)概念模式的修改盡量不影響外模式和應(yīng)用程序。 宿主語(yǔ)言：編寫(xiě)應(yīng)用程序的語(yǔ)言（即高級(jí)程序設(shè)計(jì)語(yǔ)言）在數(shù)據(jù)庫(kù)技術(shù)中稱(chēng)為宿主語(yǔ)言（hostlanguage）簡(jiǎn)稱(chēng)主語(yǔ)言。 DDL.:數(shù)據(jù)定義語(yǔ)言（DataDefinitionLanguage）,用于定義數(shù)據(jù)庫(kù)的三級(jí)結(jié)構(gòu)，包括外模式、概念模式、內(nèi)模式及其相互之間的映象，定義數(shù)據(jù)的完整性、安全控制等約束。 DML:數(shù)據(jù)操縱語(yǔ)言（DataManipulationLanguage）,用于讓用戶或程序員使用，實(shí)現(xiàn)對(duì)數(shù)據(jù)庫(kù)中數(shù)據(jù)的操作?；镜臄?shù)據(jù)操作分成兩類(lèi)四種：檢索（查詢）和更新（插入、刪除、修改）。DML分成交互型D

9、ML和嵌入型DML兩類(lèi)。依據(jù)語(yǔ)言的級(jí)別，DML又可分成過(guò)程性DML和非過(guò)程性DML兩種。 交互型DML:這類(lèi)DML自成系統(tǒng)，可在終端上直接對(duì)數(shù)據(jù)庫(kù)進(jìn)行操作。 嵌入型DML:這類(lèi)DML是嵌入在主語(yǔ)言中使用。此時(shí)主語(yǔ)言是經(jīng)過(guò)擴(kuò)充能處理DML語(yǔ)句的語(yǔ)言。 過(guò)程性DML:用戶編程時(shí)，不僅需要指出“做什么”（需要什么樣的數(shù)據(jù)），還需要指出“怎么做”（怎么獲得數(shù)據(jù)）。層狀、網(wǎng)狀的DML屬于過(guò)程性語(yǔ)言。 非過(guò)程性DML:用戶編程時(shí)，只需要指出“做什么”，不需要指出“怎么做”。關(guān)系型DML屬于非過(guò)程性語(yǔ)言。 DD:數(shù)據(jù)字典（DataDictionary）,數(shù)據(jù)庫(kù)系統(tǒng)中存放三級(jí)結(jié)構(gòu)定義的數(shù)據(jù)庫(kù)稱(chēng)為數(shù)據(jù)字典。（通

10、常DD還存放數(shù)據(jù)庫(kù)運(yùn)行時(shí)的統(tǒng)計(jì)信息） DD系統(tǒng)：管理DD的實(shí)用程序稱(chēng)為“DD系統(tǒng)”。集中式DBS:是指數(shù)據(jù)庫(kù)中的數(shù)據(jù)集中存儲(chǔ)在一臺(tái)計(jì)算機(jī)上，數(shù)據(jù)的處理集中在一臺(tái)計(jì)算機(jī)上完成。分布式DBS:是指數(shù)據(jù)存放在計(jì)算機(jī)網(wǎng)絡(luò)的不同場(chǎng)地的計(jì)算機(jī)中，每一場(chǎng)地都有自治處理能力并完成局部應(yīng)用；而每一場(chǎng)地也參與（至少一種）全局應(yīng)用程序的執(zhí)行，全局應(yīng)用程序可通過(guò)網(wǎng)絡(luò)通信訪問(wèn)系統(tǒng)中的多個(gè)場(chǎng)地的數(shù)據(jù)。分布式DB:是指計(jì)算機(jī)網(wǎng)絡(luò)環(huán)境中各場(chǎng)地上數(shù)據(jù)庫(kù)的邏輯集合。分布式DBMS:是指分布式數(shù)據(jù)庫(kù)系統(tǒng)中的一組軟件，它負(fù)責(zé)管理分布環(huán)境下邏輯集成數(shù)據(jù)的存取、一致性、有效性和完備性。同時(shí)由于數(shù)據(jù)的分布性，在管理機(jī)制還必須具有計(jì)算機(jī)網(wǎng)絡(luò)

11、通信協(xié)議上的分布管理特性。局部自治性：是指有獨(dú)立處理能力并能完成的局部應(yīng)用。數(shù)據(jù)分配（數(shù)據(jù)分布）：是指數(shù)據(jù)計(jì)算機(jī)網(wǎng)絡(luò)各場(chǎng)地上的分配策略。數(shù)據(jù)復(fù)制：是指數(shù)據(jù)在每個(gè)場(chǎng)地重復(fù)存儲(chǔ)。數(shù)據(jù)分片：是指分布式數(shù)據(jù)庫(kù)中的數(shù)據(jù)可以被復(fù)制在網(wǎng)絡(luò)場(chǎng)地的各個(gè)物理數(shù)據(jù)庫(kù)中，數(shù)據(jù)分片是通過(guò)關(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ù)庫(kù)的數(shù)據(jù)模型。分片透明性：分片透明性是最

12、高層次的分布透明性，即用戶或應(yīng)用程序只對(duì)全局關(guān)系進(jìn)行操作而不必考慮數(shù)據(jù)的分片。位置透明性：是指用戶或應(yīng)用程序應(yīng)當(dāng)了解分片情況，但不必了解片段的存儲(chǔ)場(chǎng)地。位置透明性位于分片視圖與分配視圖之間。局部數(shù)據(jù)模型透明性：這個(gè)透明性位于分配視圖與局部概念視圖之間，指用戶或應(yīng)用程序要了解分片及各片段存儲(chǔ)的場(chǎng)地，但不必了解局部場(chǎng)地上使用的是何種數(shù)據(jù)模型。復(fù)制透明性：即用戶不必關(guān)系數(shù)據(jù)庫(kù)在網(wǎng)絡(luò)中各個(gè)結(jié)點(diǎn)的數(shù)據(jù)庫(kù)復(fù)制情況，更新操作引起的波及由系統(tǒng)去處理。 SQL模式：基本表的集合定義為SQL模式。一個(gè)SQL模式（即”數(shù)據(jù)庫(kù)模式"）由模式名和模式擁有者的用戶名或賬號(hào)來(lái)確定，并包含模式中每一個(gè)元素（基本表、

13、視圖、索引等）的定義。 SQL數(shù)據(jù)庫(kù)：SQL（StructuredQueryLanguage）即結(jié)構(gòu)式查詢語(yǔ)言，采用英語(yǔ)單詞表示和結(jié)構(gòu)式的語(yǔ)法規(guī)則。一個(gè)SQL數(shù)據(jù)庫(kù)是表的匯集，它用一個(gè)或多個(gè)SQL模式定義。 基本表：在SQL中，把傳統(tǒng)的關(guān)系模型中的關(guān)系模式稱(chēng)為基本表（BaseTable）基本表是本身獨(dú)立的表，一個(gè)關(guān)系就對(duì)應(yīng)一個(gè)基本表。 存儲(chǔ)文件：在SQL中，把傳統(tǒng)的關(guān)系模型中的存儲(chǔ)模式稱(chēng)為存儲(chǔ)文件（StoredFile）。 視圖：在SQL中，把傳統(tǒng)的關(guān)系模型中的子模式稱(chēng)為視圖（View）,視圖是從一個(gè)或多個(gè)基本表導(dǎo)出的表。 行：在SQL中，把傳統(tǒng)的關(guān)系模型中的元組稱(chēng)為行（row）。 列：在SQ

14、L中，把傳統(tǒng)的關(guān)系模型中的屬性稱(chēng)為列（column）。 實(shí)表：基本表就被稱(chēng)為實(shí)表，它是實(shí)際存放在數(shù)據(jù)庫(kù)中的表。 虛表：視圖就被稱(chēng)為虛表，因?yàn)樵跀?shù)據(jù)庫(kù)中只存儲(chǔ)視圖的定義而不存放視圖所對(duì)應(yīng)的數(shù)據(jù)。相關(guān)子查詢：在嵌套查詢中，內(nèi)層查詢稱(chēng)為相關(guān)子查詢，子查詢中查詢條件依賴(lài)于外層查詢中的某個(gè)值，所以子查詢的處理不只一次，要反復(fù)求值，以供外層查詢使用。 聯(lián)接查詢：查詢時(shí)先對(duì)表進(jìn)行笛卡爾積操作，然后再做等值聯(lián)接、選擇、投影等操作。聯(lián)接查詢的效率比嵌套查詢低。 交互式SQL在終端交互方式下使用的SQL語(yǔ)言稱(chēng)為交互式SQL 嵌入式SQL嵌入在高級(jí)語(yǔ)言白程序中使用的SQL語(yǔ)言稱(chēng)為嵌入式SQL 共享變量：在嵌入的SQ

15、L語(yǔ)句中引用宿主語(yǔ)言的程序變量稱(chēng)為共享變量。 游標(biāo)：游標(biāo)是與某一查詢結(jié)果相聯(lián)系的符號(hào)名，用于把集合操作轉(zhuǎn)換成單記錄處理方式。 卷游標(biāo)：卷游標(biāo)在推進(jìn)時(shí)不但能沿查詢結(jié)果中元組順序從頭到尾一行行推進(jìn)，也能一行行返回（而游標(biāo)是不能返回的）。函數(shù)依賴(lài)：FD（functiondependency）,設(shè)有關(guān)系模式R（U）,X,Y是U的子集，r是R的任一具體關(guān)系，如果對(duì)r的任意兩個(gè)元組t1,t2,由t1X=t2X導(dǎo)致t1Y=t2Y,則稱(chēng)X函數(shù)決定Y或Y函數(shù)依賴(lài)于X,記為X-Y。X-Y為模式R的一個(gè)函數(shù)依賴(lài)。函數(shù)依賴(lài)的邏輯蘊(yùn)涵：設(shè)F是關(guān)系模式R的一個(gè)函數(shù)依賴(lài)集，X,Y是R的屬性子集，如果從F中的函數(shù)依賴(lài)能夠推出

16、X-Y,則稱(chēng)F邏輯蘊(yùn)涵X-Y,記為F|=X-Y。部分函數(shù)依賴(lài)：即局部依賴(lài)，對(duì)于一個(gè)函數(shù)依賴(lài)WA,如果存在XW（X包含于W）有XA成立,那么稱(chēng)W-A是局部依賴(lài)，否則稱(chēng)W-A為完全依賴(lài)。完全函數(shù)依賴(lài)：見(jiàn)上傳遞依賴(lài)：在關(guān)系模式中，如果Y-X,X-A,且X-(表示不決定)Y,和AX(A不屬于X)那么稱(chēng)YA是傳遞依賴(lài)。函數(shù)依賴(lài)集F的閉包F+:被邏輯蘊(yùn)涵的函數(shù)依賴(lài)的全體構(gòu)成的集合，稱(chēng)為F的閉包(closure),記為F+。 1NF:第一范式。如果關(guān)系模式R的所有屬性的值域中每一個(gè)值都是不可再分解的值，則稱(chēng)R是屬于第一范式模式。如果某個(gè)數(shù)據(jù)庫(kù)模式都是第一范式的，則稱(chēng)該數(shù)據(jù)庫(kù)存模式屬于第一范式的數(shù)據(jù)庫(kù)模式。第

17、一范式的模式要求屬性值不可再分裂成更小部分，即屬性項(xiàng)不能是屬性組合和組屬性組成。 2NF:第二范式。如果關(guān)系模式R為第一范式，并且R中每一個(gè)非主屬性完全函數(shù)依賴(lài)于R的某個(gè)候選鍵，則稱(chēng)是第二范式模式；如果某個(gè)數(shù)據(jù)庫(kù)模式中每個(gè)關(guān)系模式都是第二范式的，則稱(chēng)該數(shù)據(jù)庫(kù)模式屬于第二范式的數(shù)據(jù)庫(kù)模式。(注：如果A是關(guān)系模式R的候選鍵的一個(gè)屬性，則稱(chēng)A是R的主屬性，否則稱(chēng)A是R的非主屬性。) 3NF:第三范式。如果關(guān)系模式R是第二范式，且每個(gè)非主屬性都不傳遞依賴(lài)于R的候選鍵，則稱(chēng)R是第三范式的模式。如果某個(gè)數(shù)據(jù)庫(kù)模式中的每個(gè)關(guān)系模式都是第三范式，則稱(chēng)為3NF的數(shù)據(jù)庫(kù)模式。 BCNF:BC范式。如果關(guān)系模式R是

18、第一范式，且每個(gè)屬性都不傳遞依賴(lài)于R的候選鍵，那么稱(chēng)R是BCNF的模式。 4NF:第四范式。設(shè)R是一個(gè)關(guān)系模式，D是R上的多值依賴(lài)集合。如果D中成立非平凡多值依賴(lài)X-Y時(shí)，X必是R的超鍵，那么稱(chēng)R是第四范式的模式。 推理規(guī)則的正確性和完備性：正確性是指，如果X-Y是從推理規(guī)則推出的，那么X-Y在F+完備性是指，不能從F使用推理規(guī)則導(dǎo)出的函數(shù)依賴(lài)不在F+中。 依賴(lài)集的覆蓋和等價(jià)：關(guān)系模式R(U)上的兩個(gè)函數(shù)依賴(lài)集F和G,如果滿足F+=G+,則稱(chēng)F和G是等價(jià)的。如果F和G等價(jià)，則可稱(chēng)F覆蓋G或G覆蓋F。 最小依賴(lài)集：如果函數(shù)集合F滿足以下三個(gè)條件：(1)F中每個(gè)函數(shù)依賴(lài)的右部都是單屬性；(2)F中

19、的任一函數(shù)依賴(lài)XA,其F-X告A與F是不等價(jià)的；(3)F中的任一函數(shù)依賴(lài)XfA,Z為X的子集,(F-X-AUZ-A與F不等價(jià)。則稱(chēng)F為最小函數(shù)依賴(lài)集合，記為Fmin.無(wú)損聯(lián)接：設(shè)R是一關(guān)系模式，分解成關(guān)系模式p=R1,R2,Rk,昵R上的一個(gè)函數(shù)依賴(lài)集。如果對(duì)R中滿足F的每一個(gè)關(guān)系r都有尸nR1(r)兇汽R2(r)兇兇汽Rk(r)則稱(chēng)這個(gè)分解相對(duì)于F是”無(wú)損聯(lián)接分解”。保持依賴(lài)集：所謂保持依賴(lài)就是指關(guān)系模式的函數(shù)依賴(lài)集在分解后仍在數(shù)據(jù)庫(kù)中保持不變，即關(guān)系模式R到p=R1,R2,，Rk的分解，使函數(shù)依賴(lài)集F被F這些Ri上的投影蘊(yùn)涵。多值依賴(lài)：設(shè)R(U混屬T雌IU上的一個(gè)關(guān)系模式，X,Y,Z是U的

20、子集，并且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),那么稱(chēng)多值依賴(lài)(MultivaluedDependencyMVD)XY在關(guān)系模式R中成立。數(shù)據(jù)庫(kù)設(shè)計(jì)：數(shù)據(jù)庫(kù)設(shè)計(jì)是指對(duì)一個(gè)給定的應(yīng)用環(huán)境，提供一個(gè)確定最優(yōu)數(shù)據(jù)模型與處理模式的邏輯設(shè)計(jì)，以及一個(gè)確定數(shù)據(jù)庫(kù)存儲(chǔ)結(jié)構(gòu)與存取方法的物理設(shè)計(jì)，建立起既能反映現(xiàn)實(shí)世界信息和信息聯(lián)系，滿足用戶數(shù)據(jù)要求和加工要求，以能被某個(gè)數(shù)據(jù)庫(kù)管理系統(tǒng)所接受，同時(shí)能實(shí)現(xiàn)系統(tǒng)目標(biāo)，并有效存取數(shù)據(jù)的數(shù)據(jù)庫(kù)。數(shù)據(jù)庫(kù)工程：數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)的開(kāi)發(fā)就是

21、數(shù)據(jù)庫(kù)工程，它是一項(xiàng)軟件工程，但有其自身的特點(diǎn)。評(píng)審：是指為了確認(rèn)某一階段的任務(wù)是否全部完成，避免重大的疏漏或錯(cuò)誤的評(píng)價(jià)和審查工作。其目的是要盡早發(fā)現(xiàn)系統(tǒng)中設(shè)計(jì)中的錯(cuò)誤，并在生存期的早期階段給予糾正，以減少系統(tǒng)研制的成本。數(shù)據(jù)字典：是對(duì)系統(tǒng)中數(shù)據(jù)的詳盡描述，它提供對(duì)數(shù)據(jù)庫(kù)數(shù)據(jù)描述的集中管理。它的處理功能是存儲(chǔ)和檢索元數(shù)據(jù)，并且為數(shù)據(jù)庫(kù)管理員提供有關(guān)的報(bào)告。對(duì)數(shù)據(jù)庫(kù)設(shè)計(jì)來(lái)說(shuō)，數(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ù)庫(kù)環(huán)境中的邏輯工作單

22、位，相當(dāng)于操作系統(tǒng)環(huán)境下的"進(jìn)程"概念。封鎖：封鎖就是事務(wù)可以向系統(tǒng)發(fā)出請(qǐng)求，對(duì)某個(gè)數(shù)據(jù)對(duì)象加鎖，此事務(wù)對(duì)這個(gè)數(shù)據(jù)對(duì)象有一定控制，而其他事務(wù)則不能更新數(shù)據(jù)直到事務(wù)釋放它的鎖為止。 X封鎖：一個(gè)事務(wù)對(duì)某數(shù)據(jù)加鎖后，其他事務(wù)就不得再對(duì)這個(gè)數(shù)據(jù)對(duì)象加鎖，稱(chēng)為排他型封鎖即X封鎖。 PX協(xié)議：任何企圖更新記錄R的事務(wù)必須先執(zhí)行LOCKX(F臊作，以獲得對(duì)該記錄進(jìn)行尋址的能力，并對(duì)它取得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í)行LOCKX(祗作，以獲得對(duì)該記錄進(jìn)行尋址的能力，并對(duì)它取得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ù)都無(wú)法執(zhí)行，這種現(xiàn)象就