Y là một phụ thuộc hàm với X, ÇZ ỊJid(i) Nói rằng X —»
2.8. Dạng chuẩn của khối Định nghĩa [13]
Định nghĩa 2.8. [13]
• Cho lược đồ khối R = (id; Ai, A2, An), F là tập các phụ thuộc hàm trên R. Ta gọi lược đồ khối R thuộc dạng chuẩn 1 nếu và chỉ nếu toàn bộ
các miền trị của các thuộc tính
x(l), X Ễ id, i Ễ {l,2,...,n} đều chỉ chứa các giá trị nguyên tố.
• Định nghĩa 2.9 [13]
- Phụ thuộc hàm đầy đủ
• Cho lược đồ khối R = (id; A], A2, An), F là tập các phụ thuộc hàm
• trên R, cho X,Y ^ u id( l ). Ta nói Y là phụ thuộc hàm đầy đủ vào X nếu Y là
• i=l
• phụ thuộc hàm vào X nhưng không phụ thuộc hàm vào bất kỳ một tập họp con thực sự nào của X
- Phu thuôc hàm bắc cầu
• •
• Cho lược đồ khối R = (id; Al, A 2 , A n ) , thuộc tính Ac [Jid(i) A được gọi
• 1=1
• là phụ thuộc bắc càu vào X nếu tồn tại tập con Y ^ [Jrá(i) sao cho: X —> Y,
• 1=1
với A Ể XY.
• Định nghĩa 2.10 [13]
• Cho lược đồ khối R = (id; A1? A2, An), F là tập các phụ thuộc hàm trên R. Ta gọi lược đồ khối R thuộc dạng chuẩn 2 nếu nó ở dạng chuẩn 1 và mọi thuộc tính không khoá của R là phụ thuộc hàm đầy đủ vào khoá. Định nghĩa 2.11 [13]
• Cho lược đồ khối R = (id; Ai, A 2, A n ) , F là tập các phụ thuộc hàm trên R.
Ta gọi lược đồ khối R thuộc dạng chuẩn 3 nếu nó ở dạng chuẩn 2 và
• mọi thuộc tính không khoá của R là không phụ thuộc hàm bắc cầu vào khoá của R.
• Định nghĩa 2.12 [13]
• Cho lược đồ khối R = (id; Ai, A2, An), F là tập các phụ thuộc hàm •n
• trên R, X c ỊJid( i ). Ta gọi lược đồ khối R thuộc dạng chuẩn Boye - Codd nếu •i=l • X—> x(i) thỏa trên R, x(i) Ể X, X e id, i e {1, 2, n) thì X là một khóa của R. • CHƯƠNG III MÔT SỐ TÍNH CHẤT MỞ RÔNG CỦA KHÓA
TRONG• • • • • MÔ HÌNH DỮ LIỆU DẠNG KHỐI 3.1. Hệ Sperner trong mô hình dữ liệu dạng khối. • Định nghĩa 3.1
• Cho lược đồ khối R = (id; Al, A2,...An), r là khối trên R
• ( n \
• M Ç ỖP ỊJ id ụ) ; Khi đó M được gọi là hệ Spemer trên
khối nếu V X, Y • V i=1 y
• GM ->x /Y. • Mệnh đề 3.1
R = (id; Ab A2,...., An), r là khối trên R, khi đó tập tất cả các khóa trên khối r ký hiệu Kr là một hệ Spemer trên khối Chứng
minh:
• Đặt Kr là tập tất cả các khóa của khối r, khi đó vKbK2 eKI =) Ki(zK2,
K2<zKi(theo tính chất của khóa) =>Kr là hệ Spemer (theo định nghĩa).
• Ví du:
• Một cửa hàng bán sim điện thoại Viettell cho tổng công ty viễn thông quân đội. Trong đó được quản lý bằng mã của hàng (MCH) và số điên thoại của cửa hàng (SĐT) và được tính doanh thu hàng năm (DT)
• Khi ấy ta xây dựng được một lược đồ khối YỚi Cho lược đồ khối R = ( id;
Ai, A2 A3, A4 ), trong đó: id = {1/2014, 1/2015 và các thuộc tính là Ai =
• MCH (mã cửa hàng), A2 = SĐT (số điện thoại cửa hàng), A3 = DT (doanh thu). • A i • A2 • 3A • M C H • S Đ T • TD • ị( l) • < • V , • • • Hình 3.1. Khối Bán Hàng sim điện thoại.
• Khi đó khối R có các đặc điểm sau: • Tập các thuộc tính chỉ số: Ịl(1),l(2),l(3),2(1),2(2),2(3)|; Tập các phụ thuộc hàm là: • • 1 / 2 0 1 4 • (1’ )^ • 1/ 2 0 1 5
• F = {l(1) ->1(2),1(1) ->1(3\2(1) ->2(2),2(1) ->2(3),1(2) ->1(3),2(2) ->2(3)} • Từ đó ta có khóa của khối là: (Kj= 1(1)2(1), K2 = 1(2)2(2), K3 = 1(1)2(2), K4 = 1(2)2(2)).
• ->Hệ Spemer trên khối bán hàng trên là K = u (Ki, K2, K3, K4).
• Hệ Quả.
• Cho lược đồ khối R = (id; Ai, A2,...An), r là khối trên R. Khi đó nếu id ={x}thì khối r suy biến thành quan hệ, và tập tất cả các khóa trên khối r tạo • thành tập các khóa trên quan hệ R và là một hệ Spemer trong mô hình dữ liệu quan hệ => đây chính là kết quả đã có trong mô hình dữ liệu quan hệ.
• Mệnh đề 3.2
• Cho lược đồ khối R = (id; Ab A2,..An), r là khối
trên R, Fh Fhx là các tập phụ thuộc hàm trên khối và trên lát cắt tương ứng.
• ín Л
• Kr ç^1 ỊJ id U) , Kr là tập
các khóa của khối r và là hệ Spemer trên khối. Khi
•
•• phụ thuộc hàm Fh => Krn • phụ thuộc hàm Fh => Krn ỊJ JC(0 = к là tập tât cả các khóa
trên lát căt rx đôi
•Vi=i ) i=i )
• với Fhx (theo tính chất cần và đủ của khóa trên khối) đối YỚi tập phụ thuộc hàm Fh. Do đó trên lát cắt rx ta có: V Klx, K2x e Kr ta có Klx сt- K2x =>Kr là hệ Spemer trên lát cắt rx. • Mệnh đề 3.3
• Cho lược đồ khối R = (id; Ab A2,...An), r là khối trên R, V xe id ta ký hiệu Mr là
hệ Spemer trên lát cắt rx khi đó Mr = ỊJ M là một hệ Spemer trên
• khối.
• Chứng minh:
• VMi M2 ỄM[ = ỊJ M => từ đó xảy ra một trong hai khả năng sau:
• xeid