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

　　5.1 概述

　　5.2 基本概念

　　5.2.1 關(guān)系模型

　　1、 關(guān)系模型采用一個二維表格在計算機中組織、存儲、處理和管理數(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)系的每個屬性取值的類型。

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

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

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

　　(B) 定義二：

　　(C) 定義三：

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

　　[1] 不能有重復的元組。

　　[2] 元組上下無序。

　　[3] 按屬性名引用時屬性左右無序。

　　[4] 所有屬性值都是原子項(不可再分)。

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

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

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

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

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

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

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

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

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

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

　　(2) 外碼約束。

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

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

　　5.3.1 問題的提出

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

　　相關(guān)推薦：

　　2012年計算機等考四級數(shù)據(jù)庫工程師備考筆記匯總

　　2012年計算機等級考試二級VB重點知識匯總

　　2012年下半年計算機等級考試報名時間及入口匯總