【正文】 卡兒積 山東財政學(xué)院計算機(jī)信息工程學(xué)院 一、選擇 ? 選擇 操作從一個關(guān)系中選出滿足給定條件的元組 。 ? 關(guān)系代數(shù)、元組關(guān)系演算和域關(guān)系演算三種語言表達(dá)能力等價，是抽象語言，用作評估實際系統(tǒng)中語言能力的標(biāo)準(zhǔn)。 ? 關(guān)系數(shù)據(jù)庫語言與一階謂詞邏輯的固有內(nèi)在聯(lián)系 。 ? 關(guān)系模型的邏輯結(jié)構(gòu)和相應(yīng)的操作完全獨立于數(shù)據(jù)的存儲方式 ， 具有高度的數(shù)據(jù)獨立性 。 ? 關(guān)系模型支持對數(shù)據(jù)庫中數(shù)據(jù)的各種操作 ， 這些操作稱為關(guān)系代數(shù)操作 。 在關(guān)系模型中 ， 現(xiàn)實世界的實體以及實體間的各種聯(lián)系均用關(guān)系來表示 。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 Account ( account_number, branch_name, balance ) Branch ( branch_name, branch_city, assets ) Customer ( customer_name, customer_street, customer_city ) Deposits ( customer_name, account_number ) Loan ( loan_number, branch_name, amount ) Borrows ( customer_name, loan_number ) 關(guān)系模式集 山東財政學(xué)院計算機(jī)信息工程學(xué)院 account_number（賬號） branchname（開戶支行名稱） balance（余額） A101 市中支行 5 000 A215 舜耕支行 7 000 A102 經(jīng)七路支行 4 000 A305 解放支行 3 500 A201 棧橋支行 9 000 A202 鐵路支行 7 000 A217 棧橋支行 7 500 Account（賬戶）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 branch_name（支行名稱） branch_city（支行所在地） assets（資產(chǎn)額） 棧橋支行 青島 7 100 000 市中支行 青島 9 000 000 舜耕支行 濟(jì)南 400 000 北園支行 泰安 3 700 000 經(jīng)七路支行 濟(jì)南 1 700 000 和平支行 濟(jì)寧 300 000 鐵路支行 棗莊 100 000 解放支行 濟(jì)南 8 000 000 Branch（支行）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 customer_name（客戶名） customer_street（客戶所在街道） customer_city（客戶所在城市） 李勇 迎春路 威海 錢小平 市府前街 青島 吳賓 北大街 泰安 張愛國 濼源大街 東營 張力 經(jīng)緯路 煙臺 劉晨 滿庭芳路 淄博 王敏 泗水路 棗莊 趙維 滿庭芳路 淄博 孫大慶 珍珠塔路 威海 劉偉 北大街 泰安 于童 漱玉路 煙臺 劉建 風(fēng)箏路 濰坊 Customer（客戶）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 customer_name（客戶名） account_number（賬號） 劉晨 A 102 王敏 A 101 王敏 A 201 趙維 A 217 孫大慶 A 202 劉偉 A 215 于童 A 305 Deposits（儲蓄）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 loan_number（貸款號） branch_name（支行名稱） amount（金額） L11 解放支行 9 000 L14 市中支行 15 000 L15 經(jīng)七路支行 15 000 L16 經(jīng)七路支行 13 000 L17 市中支行 10 000 L23 鐵路支行 20 000 L93 舜耕支行 5 000 Loan（貸款）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 customer_name（客戶名） loan_number（貸款號） 李勇 L16 吳賓 L93 劉晨 L15 林志偉 L14 趙維 L17 劉偉 L11 劉偉 L23 劉建 L17 Borrows（借貸）關(guān)系 山東財政學(xué)院計算機(jī)信息工程學(xué)院 關(guān)系模型的定義 關(guān)系模型由三部分組成： 數(shù)據(jù)結(jié)構(gòu) 、 數(shù)據(jù)操作 和 完整性約束 。 ? 基于關(guān)系模型的數(shù)據(jù)庫管理系統(tǒng)遵循三級體系結(jié)構(gòu)：物理模式、邏輯模式和用戶模式。 ? 關(guān)系是關(guān)系模式在某一時刻的狀態(tài)或內(nèi)容。關(guān)系數(shù)據(jù)庫中，關(guān)系模式是型，關(guān)系是值。 ? 關(guān)系中的屬性理論上也是無序的，但使用時按習(xí)慣考慮列的順序。 ? 關(guān)系中不允許出現(xiàn)完全相同的元組。 ? 主碼 ：用戶可以指定一個候選碼為主碼 ， 即用戶正在使用的候選碼稱為主碼 。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 基本概念 ? 超碼 ：在一個關(guān)系中 ， 能唯一標(biāo)識元組的屬性集稱為關(guān)系的超碼 。 ? 表中的一行稱為 元組 ，它對應(yīng)各個屬性的某個具體屬性值。 ? 列的名字稱為 屬性 （ attribute）。后者則對數(shù)據(jù)庫設(shè)計提供理論指導(dǎo)。 ? 關(guān)系理論一般由兩部分組成，即關(guān)系模型的數(shù)學(xué)表示與關(guān)系模式的規(guī)范化理論。山東財政學(xué)院計算機(jī)信息工程學(xué)院 第二章 關(guān)系模型 本章主要介紹介紹關(guān)系模型的基本概念及常用術(shù) 語、關(guān)系模型的完整性約束和關(guān)系代數(shù)操作。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 第二章 關(guān)系模型 ? 關(guān)系模型的基本概念 ? 關(guān)系代數(shù) ? * 關(guān)系演算 ? 關(guān)系約束 山東財政學(xué)院計算機(jī)信息工程學(xué)院 關(guān)系模型的基本概念 ? 關(guān)系的定義 ? 關(guān)系模式 ? 關(guān)系模型的定義 關(guān)系模型 ? 關(guān)系模型是建立在一種稱為“關(guān)系理論”的數(shù)學(xué)理論基礎(chǔ)上， E. F. Codd就是以“關(guān)系理論”的形式提出關(guān)系模型的。前者給出了關(guān)系模型的代數(shù)方式或邏輯方式的數(shù)學(xué)表示，為關(guān)系模型研究提供有效的數(shù)學(xué)工具支撐。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 山東財政學(xué)院計算機(jī)信息工程學(xué)院 基本概念 ? 關(guān)系 ： 是二維表的一個抽象，是一種規(guī)范化了的二維表。 ? 每個屬性都有一個取值范圍，這個取值范圍稱為屬性的 值域 （ domain）。 ? 元組的集合就稱為 關(guān)系 。 ? 候選碼 ：如果一個屬性集能唯一地標(biāo)識元組 ， 且又不含有多余屬性 ， 那么這個屬性集稱為候選碼 。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 在關(guān)系模型中的關(guān)系規(guī)范性限制： ? 關(guān)系中的每一個屬性值都是不可分解的。 ? 由于關(guān)系是一個集合，因此不考慮元組間的順序。 山東財政學(xué)院計算機(jī)信息工程學(xué)院 關(guān)系模式 ? 在數(shù)據(jù)庫中要區(qū)分 型 與 值 。 ? 一般地， 關(guān)系模式 由組成關(guān)系的屬性序列、各屬性的值域以及各屬性之間的依賴關(guān)系構(gòu)成。 ? 關(guān)系模式是靜態(tài)的、穩(wěn)定的，而關(guān)系是動態(tài)的，隨時間不斷更新變化的。其中邏輯模式就是關(guān)系模式的集合，也稱為關(guān)系數(shù)據(jù)庫模式。 ? 關(guān)系模型的數(shù)據(jù)結(jié)構(gòu)非常單一 。 在用戶看來 ，關(guān)系模型中數(shù)據(jù)的邏輯結(jié)構(gòu)是二維表格 。 ? 關(guān)系模型允許定義四類完整性約束 ， 即 域完整性約束 、 實體完整性約束 、 引用完整性約束 和 用戶