計算機——數(shù)據(jù)庫系統(tǒng)
1、關(guān)系數(shù)據(jù)庫模型
關(guān)系數(shù)據(jù)庫，是建立在關(guān)系模型基礎上的數(shù)據(jù)庫，借助于集合代數(shù)等數(shù)學概念和方法來處理數(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ù)模型的基礎;數(shù)據(jù)模型中的數(shù)據(jù)操作主要描述在相應數(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)表達方式，它是用對關(guān)系的運算來表達查詢的。
關(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)。在第一范式的基礎上進一步滿足更多規(guī)范要求的稱為第二范式(2NF)，其余范式以次類推。
5、數(shù)據(jù)庫基本概念
數(shù)據(jù)庫指的是以一定方式儲存在一起、能為多個用戶共享、具有盡可能小的冗余度、與應用程序彼此獨立的數(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(標準通用標記語言下的一個應用)格式文檔進行存儲和查詢等操作的數(shù)據(jù)管理系統(tǒng)。在系統(tǒng)中，開發(fā)人員可以對數(shù)據(jù)庫中的XML文檔進行查詢、導出和指定格式的序列化。
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ù)庫。