計算機——數(shù)據(jù)庫系統(tǒng)

　　1、關(guān)系數(shù)據(jù)庫模型

　　關(guān)系數(shù)據(jù)庫，是建立在關(guān)系模型基礎(chǔ)上的數(shù)據(jù)庫，借助于集合代數(shù)等數(shù)學(xué)概念和方法來處理數(shù)據(jù)庫中的數(shù)據(jù)。數(shù)據(jù)模型主要描述兩類信息：一是實體;二是實體之間的聯(lián)系。

　　數(shù)據(jù)模型一般包括數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)操作和數(shù)據(jù)完整性約束三個部分，數(shù)據(jù)模型中的數(shù)據(jù)結(jié)構(gòu)主要描述數(shù)據(jù)類型、性質(zhì)以及數(shù)據(jù)間的聯(lián)系，數(shù)據(jù)結(jié)構(gòu)是數(shù)據(jù)模型的基礎(chǔ);數(shù)據(jù)模型中的數(shù)據(jù)操作主要描述在相應(yīng)數(shù)據(jù)結(jié)構(gòu)上的操作類型與操作方式;數(shù)據(jù)模型中的數(shù)據(jù)完整性約束主要描述數(shù)據(jù)結(jié)構(gòu)內(nèi)數(shù)據(jù)間的語法、語義聯(lián)系，它們間的制約和依存關(guān)系，以及數(shù)據(jù)動態(tài)變化的規(guī)則以保證數(shù)據(jù)的正確、有效與相容。

　　2、關(guān)系代數(shù)

　　關(guān)系代數(shù)是一種抽象的查詢語言，是關(guān)系數(shù)據(jù)操縱語言的一種傳統(tǒng)表達(dá)方式，它是用對關(guān)系的運算來表達(dá)查詢的。

　　關(guān)系代數(shù)的運算對象是關(guān)系，運算結(jié)果亦為關(guān)系。關(guān)系代數(shù)用到的運算符包括四類：集合運算符、專門的關(guān)系運算符、算術(shù)比較符和邏輯運算符。

　　3、數(shù)據(jù)庫結(jié)構(gòu)

　　數(shù)據(jù)庫的基本結(jié)構(gòu)分三個層次，反映了觀察數(shù)據(jù)庫的三種不同角度：以內(nèi)模式為框架所組成的數(shù)據(jù)庫叫做物理數(shù)據(jù)庫;以概念模式為框架所組成的數(shù)據(jù)叫概念數(shù)據(jù)庫;以外模式為框架所組成的數(shù)據(jù)庫叫用戶數(shù)據(jù)庫。

　　4、數(shù)據(jù)范式

　　數(shù)據(jù)庫有六種范式：第一范式(1NF)、第二范式(2NF)、第三范式(3NF)、巴斯-科德范式(BCNF)、第四范式(4NF)和第五范式(5NF，又稱完美范式)。滿足最低要求的范式是第一范式(1NF)。在第一范式的基礎(chǔ)上進(jìn)一步滿足更多規(guī)范要求的稱為第二范式(2NF)，其余范式以次類推。

　　5、數(shù)據(jù)庫基本概念

　　數(shù)據(jù)庫指的是以一定方式儲存在一起、能為多個用戶共享、具有盡可能小的冗余度、與應(yīng)用程序彼此獨立的數(shù)據(jù)集合。

　　6、數(shù)據(jù)完整性約束

　　數(shù)據(jù)完整性約束是一組完整性規(guī)則的集合。它定義了數(shù)據(jù)模型必須遵守的語義約束，也規(guī)定了根據(jù)數(shù)據(jù)模型所構(gòu)建的數(shù)據(jù)庫中數(shù)據(jù)內(nèi)部及其數(shù)據(jù)相互間聯(lián)系所必須滿足的語義約束。

　　7、XML數(shù)據(jù)管理

　　XML數(shù)據(jù)庫是一種支持對XML(標(biāo)準(zhǔn)通用標(biāo)記語言下的一個應(yīng)用)格式文檔進(jìn)行存儲和查詢等操作的數(shù)據(jù)管理系統(tǒng)。在系統(tǒng)中，開發(fā)人員可以對數(shù)據(jù)庫中的XML文檔進(jìn)行查詢、導(dǎo)出和指定格式的序列化。

　　XML數(shù)據(jù)庫有三種類型：

　　(1)XML Enabled Database(XEDB)，即能處理XML的數(shù)據(jù)庫;

      (2)Native XML Database(NXD)，即純XML數(shù)據(jù)庫;

　　(3)Hybrid XML Database(HXD)，即混合XML數(shù)據(jù)庫。