>>>考試吧考后首發(fā)2013年3月計(jì)算機(jī)等考試題答案
第五章 關(guān)系數(shù)據(jù)庫(kù)邏輯設(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ù)庫(kù)名):由字母數(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ù)的元組;
元組上下無序;
按屬性名引用時(shí)屬性左右無序;
所有屬性值都是原子項(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ù)庫(kù)
1、 關(guān)系數(shù)據(jù)庫(kù)是按照二維表組織和存儲(chǔ)的相互關(guān)聯(lián)的關(guān)系的集合,關(guān)系數(shù)據(jù)庫(kù)模式是關(guān)系模式的集合;
5.2.3 關(guān)系的完整性
1、 關(guān)系的完整性(完整性約束):是對(duì)關(guān)系的某種約束規(guī)則和關(guān)系滿足的定義。通常這組約束規(guī)則用來限定和檢查數(shù)據(jù)庫(kù)所含實(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) 用戶定義的完整性:
北京 | 天津 | 上海 | 江蘇 | 山東 |
安徽 | 浙江 | 江西 | 福建 | 深圳 |
廣東 | 河北 | 湖南 | 廣西 | 河南 |
海南 | 湖北 | 四川 | 重慶 | 云南 |
貴州 | 西藏 | 新疆 | 陜西 | 山西 |
寧夏 | 甘肅 | 青海 | 遼寧 | 吉林 |
黑龍江 | 內(nèi)蒙古 |