49
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 trên 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(i), x id, i {1,2,…,n} đề chỉ chứa cácgiá trị nguyên tố.
Định nghĩa 2.6[5] [6]
- Phụ thuộc hàm đầy đủ
Cho lƣợc đồ khối R = (id; A1, A2,…, An), F là tập các phụ thuộc hàm trên R, cho X, Y n idi i ) ( 1
. Ta có Y là phụ thuộc hàm đầy đủ vào X nếu Y 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 con thực sự nào của X.
- Phụ thuộc hàm bắc cầu
Cho lƣợc đồ khối R = (id; A1, A2,…, An), X n id i i ) ( 1 , thuộc tính A n idi i ) ( 1 ,
A gọi là thuộc tính bắc cầu vào X nếu tồn tại tập con Y n id i i ) ( 1 sao cho X Y, Y A nhƣng Y X và A XY. Định nghĩa 2.7[5] [6]
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 đồ trên 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 khóa của R là phụ thuộc hàm đầy đủ vào khóa.
Định nghĩa 2.8[5] [6]
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 trên 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 khóa của R là phụ thuộc hàm bắc cầu vào khóa của R.
50
Định nghĩa 2.9 [5][6]
Cho lƣợc đồ khối R= (id; A1, A2,…, An), F là tập các phụ thuộc của hàm trên R. Cho X n id i i ) ( 1
. Ta gọi lƣợc đồ khối R thuộc dạng chuẩn Boye – Codd nếu X x(1) thỏa trên R, x X x id, i{1,2,…,n} thì X là một khóa của R.
Kết luận chƣơng 2
Nội dung chƣơng 2 trình bày về các khái niệm cơ bản trong mô hình dữ liệu dạng khối nhƣ: khái niệm về khối, lƣợc đồ khối, các phép tính trên khối, khóa của khối, đại số quan hệ trên khối ngoài ra khái niệm về phụ thuộc hàm, bao đóng cũng đƣợc trình bày.
Ở chƣơng này đã phần nào nêu lên đƣợc những khái niệm cơ bản nhất về mô hình dữ liệu dạng khối. Mô hình có cấu trúc dữ liệu động( phi tuyến), từ đó giải quyết đƣợc những nhƣợc điểm mà mô hình cơ sở dữ liệu quan hệ không đáp ứng đƣợc.
51
CHƢƠNG 3: CÁC PHÉP SUY DẪN TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI