第五章关联模式的运算.ppt

?黃三益2008 資料庫的核心理論與實務第四版 5-* FULL OUTER JOIN運算子 (???) 保留左右兩邊關聯，其一般式為Result = R ???配合條件 S 關聯綱目：同於R? 配合條件S 序列值：R?S的序列值再加上沒有與S配對的R的序列值加上空值（在S的屬性）以及沒有與R配對的S的序列值加上空值（在R的屬性） 範例：Transaction???Transaction.tno=Cart.tno Cart (Transaction和Cart的範例資料庫） ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯代數運算式範例二 列出會員之會員編號和姓名，以及其所瀏覽過的商品名稱 （如果有的話） 表示一會員若沒有瀏覽過任何商品，她的會員編號和姓名也要列出。本題應該用LEFT OUTER JOIN BrowseProduct = Browse * Product MemberBrowse = Member??Member.mId=BrowseProduct.mIdBrowseProduct) Result=? Member_mId, name, pName MemberBrowse ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯的分群和彙總函數 為滿足統計報表的功能，關聯代數提供運算子來計算彙總，一般式如下： Result = 分群屬性?彙總函數列（R） 關聯綱目：名稱為Result，屬性為分群屬性加上彙總函數列 序列值：將R依分群屬性的屬性值分群，每一群序列值再依彙總函數列裡的函數運算成一序列值 ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯的分群和彙總函數（Cont.) Result(transNo, totalAmount) = tNo?SUM salePrice（Record） 關聯的分群和彙總函數（Cont.) Result(totalProduct, averagePrice) = ?COUNT pNo, AVERAGE unitPrice（Product） ?黃三益2008 資料庫的核心理論與實務第四版 5-* ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯的分群和彙總函數 五個標準的彙總函數： SUM：加總。 AVERAGE：取數個屬性值的平均值。比如category?AVERAGE unitPrice（Product） COUNT: 取屬性值的總個數。比如category?COUNT pNo（Product） MAX：取數個屬性值的最大值。比如category?MAX unitPrice（Product） MIN：取數個屬性值的最小值。比如category?MIN unitPrice（Product） ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯代數運算式範例二 列出所有包括兩項以上商品的交易之交易編號和會員姓名 T1(tNo, mId, pNo)= ? tNo, transMid, pNo(Transaction * Record) T2(tNo, mId, total) = tNo, mId ?COUNT pNo (T1) T3=? total2 (T2) Result= ? tNo, name(T3 * Member) ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯代數運算式範例 列出每一位會員的會員編號、姓名，以及所瀏覽過的商品總數 MemberBrowse(mId, name, pNo)= ?Member_mId, name, pNo(Member ??Member.mId=Browse.mIdBrowse) Result= mId, name ?COUNT pNo(MemberBrowse) ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯邏輯計算 關聯邏輯計算法（Relational calculus)是用邏輯計算方式來處理關聯 兩種形式： 序列值邏輯計算（tuple calculus) 本章所採用 定義域邏輯計算（domain calculus) 邏輯計算方式與代數計算最大的不同點是邏輯計算式裡頭的子運算式是沒有次序性的。 關聯代數是一種程序式的語言 關聯邏輯計算法是一種宣告式的語言 ?黃三益2008 資料庫的核心理論與實務第四版 5-* 關聯邏輯計算 序列值變數（tuple variable）是代表某個關聯裡的序列值。比如： {m | Member(m)} 代表Member關聯裡所有序列值所成的集合。 {p | Product(p), p.unitPrice500} 代表Product關聯裡所有定價超過500的商品序列值所成的集合。 {p.pNo