第三章

　　域是值的集合，域中數(shù)據(jù)個(gè)數(shù)叫做域的基數(shù)。

　　R(D1，D2，…Dn)的含義是：當(dāng)且僅當(dāng)R是D1×D2×…×Dn的一個(gè)子集，則稱R是D1×D2×…×Dn上的一個(gè)關(guān)系。其中，R是關(guān)系名，n是關(guān)系的度，Di是第i個(gè)域名。在關(guān)系的定義中，n度的關(guān)系，必有n個(gè)域。

　　一個(gè)關(guān)系就是一張二維表，表中的每一行對(duì)應(yīng)關(guān)系中的一個(gè)元組，它對(duì)應(yīng)于信息世界中的實(shí)體和計(jì)算機(jī)世界中的記錄，表中的每一列就是關(guān)系中的一個(gè)域。也稱為屬性，對(duì)應(yīng)于計(jì)算機(jī)世界中的字段。

　　關(guān)系與文件有許多相似之處，把關(guān)系看成文件時(shí)，則元組就是文件中的記錄，屬性就是記錄中的數(shù)據(jù)項(xiàng)(字段)。

　　不允許“表中套表”，即表中元組分量必須是原子的。

　　二維表中的各列取自同一個(gè)域，因此一列中的各個(gè)分量具有相同性質(zhì)。

　　列的次序、行的次序可以任意交換，不改變關(guān)系的實(shí)際意義。

　　表中的行叫元組，代表一個(gè)實(shí)體，因此表中不允許出現(xiàn)相同的兩行。

　　判斷兩個(gè)關(guān)系是否相等，與屬性的次序無關(guān)，與元組的次序無關(guān)，與關(guān)系的命名無關(guān)。

　　關(guān)系模式是指用關(guān)系數(shù)據(jù)描述語言描述后的關(guān)系，必須逐個(gè)對(duì)關(guān)系模型中的關(guān)系進(jìn)行描述才能生成數(shù)據(jù)庫(kù)概念模式。對(duì)關(guān)系的描述實(shí)為定義關(guān)系模式。關(guān)系數(shù)據(jù)描述語言實(shí)質(zhì)是定義關(guān)系框架的，包括對(duì)域和關(guān)系進(jìn)行描述

　　常用的關(guān)系數(shù)據(jù)描述語言(DDL)有問答式和語言描述式，常用的FoxPro屬于問答式DBMS.

　　語言描述式有專門描述語言定義關(guān)系模式，包括關(guān)系名、組成該關(guān)系的各個(gè)域名、數(shù)據(jù)類型、長(zhǎng)度和取值范圍

　　域描述語句：DOMAIN<域名>PIC IS<類型(長(zhǎng)度)>[RANGE IS<數(shù)1>THRU<數(shù)2>]，通過DOMAIN定義域名、PIC定義數(shù)據(jù)類型和長(zhǎng)度，RANGE定義取值范圍。

　　關(guān)系描述語句：RELATION<關(guān)系名>(<域名1，域名2，…>)KEY=(<域名i，域名j，…>)

　　關(guān)系模式的三類完整性規(guī)則是：實(shí)體完整性約束規(guī)則、引用完整性約束規(guī)則、用戶定義的完整性約束規(guī)則。

　　實(shí)體完整性約束是指關(guān)系中的“主鍵”不允許取空值。引用完整性約束規(guī)則是限制引用不存在的記錄。

　　在關(guān)系的各種*作中，關(guān)系查詢是核心，所以關(guān)系數(shù)據(jù)*縱語言DML語言，常被稱為查詢語言。

　　DML特點(diǎn)：*作對(duì)象與結(jié)果都是關(guān)系，非過程性強(qiáng)，語言一體化，有嚴(yán)密的數(shù)學(xué)工具。

　　關(guān)系數(shù)據(jù)*作的最大特點(diǎn)是：以關(guān)系為處理單位，處理后的結(jié)果是關(guān)系。

　　關(guān)系DML查詢，根據(jù)表達(dá)查詢方式的不同，可分為兩類：用關(guān)系代數(shù)運(yùn)算表達(dá)查詢和用關(guān)系演算公式表達(dá)查詢。關(guān)系數(shù)據(jù)*作語言相應(yīng)分為兩種不同類型：關(guān)系代數(shù)型和關(guān)系演算型。

　　所謂單目運(yùn)算就是對(duì)一個(gè)關(guān)系施加的運(yùn)算，所謂雙目運(yùn)算就是對(duì)兩個(gè)關(guān)系施加的運(yùn)算。選擇、投影是單目運(yùn)算，連接、關(guān)系笛卡兒積是雙目運(yùn)算。

　　集合運(yùn)算符：∪并、∩交、-差、×迪卡爾積，關(guān)系運(yùn)算符：π投影、σ選擇、|×|連接

　　比較運(yùn)算符：>、≥、<、≤、=、≠，邏輯運(yùn)算符：-非、∧與、∨或

　　并、交、差用于關(guān)系運(yùn)算，要求參加運(yùn)算的兩個(gè)關(guān)系是相容的，即兩個(gè)關(guān)系度數(shù)相同，相應(yīng)屬性取自同一個(gè)域。

　　并：由屬于R或?qū)儆赟或同時(shí)屬于R和S的元組構(gòu)成的集合，記為R∪S.

　　差：由屬于R而不屬于S的所有元組組成的集合，記為R-S.