第五章 關(guān)系數(shù)據(jù)庫邏輯設(shè)計(jì)

　　5.1 概述

　　5.2 基本概念

　　5.2.1 關(guān)系模型

　　1、 關(guān)系模型采用一個(gè)二維表格在計(jì)算機(jī)中組織、存儲(chǔ)、處理和管理數(shù)據(jù)。

　　(1) 關(guān)系名(數(shù)據(jù)庫名)：由字母數(shù)字組成;

　　(2) 屬性名;

　　(3) 關(guān)系模式和關(guān)系：描述模式描述關(guān)系的靜態(tài)結(jié)構(gòu)，由模式名、關(guān)系模式所包含的屬性及屬性值所滿足的條件組成模式定義。

　　(4) 元組：描述關(guān)系中的行;

　　(5) 域：它定義關(guān)系的每個(gè)屬性取值的類型;

　　(6) 主碼：能夠惟一標(biāo)識(shí)關(guān)系中每一個(gè)元組的屬性或?qū)傩越M;

　　(7) 關(guān)系的數(shù)學(xué)定義：關(guān)系模式是建立在集合集論的基礎(chǔ)上的，用數(shù)學(xué)的概念定義關(guān)系有;

　　(A) 定義一：域是值的集合，同一個(gè)域中的值具有相同的數(shù)據(jù)類型;

　　(B) 定義二：

　　(C) 定義三：

　　(D) 當(dāng)關(guān)系引用了屬性名后關(guān)系具有以下屬性：

　　[1] 不能有重復(fù)的元組;

　　[2] 元組上下無序;

　　[3] 按屬性名引用時(shí)屬性左右無序;

　　[4] 所有屬性值都是原子項(xiàng)(不可再分);

　　(8) 總結(jié)：關(guān)系是一張二維表，表中的一行被稱為一個(gè)元組，一列稱為屬性，由一組域值組成。關(guān)系是元組的集合，關(guān)系中的每個(gè)元組在數(shù)學(xué)上被定義為這個(gè)關(guān)系所涉及的全部域值中笛卡兒積的一個(gè)元素。

　　5.2.2 關(guān)系數(shù)據(jù)庫

　　1、 關(guān)系數(shù)據(jù)庫是按照二維表組織和存儲(chǔ)的相互關(guān)聯(lián)的關(guān)系的集合，關(guān)系數(shù)據(jù)庫模式是關(guān)系模式的集合;

　　5.2.3 關(guān)系的完整性

　　1、 關(guān)系的完整性(完整性約束)：是對(duì)關(guān)系的某種約束規(guī)則和關(guān)系滿足的定義。通常這組約束規(guī)則用來限定和檢查數(shù)據(jù)庫所含實(shí)例的合法性和正確性;

　　2、 完整性約束分靜態(tài)和動(dòng)態(tài)兩種，靜態(tài)完整性約束是基于關(guān)系模式的，主要有主碼、外碼約束和域約束組成;動(dòng)態(tài)完整性約束是基于企業(yè)的業(yè)務(wù)規(guī)則的。

　　3、 靜態(tài)完整性約束規(guī)則：

　　(1) 主碼約束：主碼必須滿足：

　　(A) 惟一性：在一個(gè)關(guān)系中不存在兩個(gè)元組，它們具有相同的主碼值;

　　(B) 最小性：不存在從組成主碼的屬性集中去掉一個(gè)屬性，還仍能保持?jǐn)?shù)據(jù)的惟一性;

　　(2) 外碼約束：

　　(3) 用戶定義的完整性：

　　5.3 關(guān)系數(shù)據(jù)庫設(shè)計(jì)理論

　　5.3.1 問題的提出

　　究竟一個(gè)關(guān)系數(shù)據(jù)庫包含哪些屬性是合理的，如何評(píng)價(jià)一個(gè)關(guān)系模式設(shè)計(jì)的優(yōu)劣?