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