Định nghĩa 1.16[3], [5]
Lƣợc đồ khối R = (id; A1, A2,…, An), F và G là các tập PTH trên R. Ta nói F tƣơng đƣơng với G và ký hiệu F G nếu F+
= G+.
Nếu F và G là tƣơng đƣơng thì ta nói F phủ G hay G phủ F.
Định nghĩa 1.17[3], [5]
Lƣợc đồ khối R = (id; A1, A2,…, An), tập F các PTH đƣợc gọi là không dƣ thừa nếu không có tập con thực sự F’ của F mà F’ F. Ngƣợc lại F là dƣ thừa.
Định nghĩa 1.18[3], [5]
Lƣợc đồ khối R = (id; A1, A2,…, An), F là các PTH, X Y F, X Y là một PTH đầy đủ trong F nếu X’ X sao cho F (F-{X Y} {X’
Y}). Khi đó, Y đƣợc gọi là phụ thuộc đầy đủ vào X.
Định nghĩa 1.19[3], [5]
Lƣợc đồ khối R = (id; A1, A2,…, An), tập F là các PTH là tối thiểu nếu:
Vế phải của các PTH trong F chỉ có một thuộc tính (không có thuộc tính nào ở vế phải là dƣ thừa).
Không tồn tại X Y F và X’ X sao cho: F (F-{X Y} {X’ Y}) (không có thuộc tính nào ở vế trái dƣ thừa)
Không tồn tại X Y F sao cho: F (F-{X Y}) (không có PTH nào dƣ thừa).
Mệnh đề 1.30[3], [5]
Cho lƣợc đồ khối R = (id; A1, A2,…, An), Fh và Fhx = n ( i ) i 1 h x F là các tập
PTH trên R, Rx tƣơng ứng, Fh’ là phủ tối thiểu của Fh. Khi đó, Fhx’ = n ( i ) i 1 h x F'
là phủ tối thiểu của Fhx.
Mệnh đề 1.31[3], [5]
Cho lƣợc đồ khối R = (id; A1, A2,…, An), Fh và Fhx là các tập PTH trên R, Rx tƣơng ứng, Fh = hx
x A
F
, A id, Fhx’ là phủ tối thiểu của Fhx. Khi đó, Fh’ = hx'
x A
F
Định lý[3], [5]
Cho lƣợc đồ khối R = (id; A1, A2,…, An), Fh và Fhx = n ( i ) i 1 h x F là các tập
PTH trên R, Rx tƣơng ứng, Fh’ là phủ tối thiểu của Fh khi và chỉ khi Fhx’ =
n ( i ) i 1 h x F'
là phủ tối thiểu của tập Fhx.
Kết luận chƣơng 1
Các nội dung chính đã trình bày trong chƣơng này bao gồm: Các khái niệm cơ bản về mô hình dữ liệu dạng khối nhƣ: Định nghĩa khối, lát cắt, lƣợc đồ khối... và các đặc trƣng cơ bản khối và lƣợc đồ khối.
Tác giả cũng đã trình bày các khái niệm về bao đóng, khóa,PTH... trong mô hình dữ liệu dạng khối. Tìm hiểu một số thuật toán tìm bao đóng và khóa của lƣợc đồ khối.
Một số vấn đề về các dạng chuẩn, các dạng tựa chuẩn, tựa chuẩn hóa trên lƣợc đồ khối; các khái niệm về phủ và phủ tối thiểu của tập PTH cũng đƣợc tác giả trình bày trong chƣơng này.
CHƢƠNG 2. PHÉP DỊCH CHUYỂN LƢỢC ĐỒ KHỐI
Mô hình dữ liệu dạng khối là một mở rộng của mô hình dữ liệu quan hệ. Mô hình mở rộng này đƣợc xây dựng trên cơ sở kế thừa cơ sở toán học chặt chẽ từ mô hình quan hệ và mở rộng và bổ sung các đặc trƣng cần thiết.
Lý thuyết về phép dịch chuyển LĐQH nhằm nâng cao hiệu quả của các thuật toán tìm bao đóng và tìm khóa phục vụ cho các quá trình chuẩn hóa LĐQH. Qua đó cũng giúp tìm hiểu sâu hơn về các đối tƣợng khác trong quản lý về cơ sở dữ liệu .
Phép dịch chuyển lƣợc đồ khối đƣợc đề xuất với mục đích tƣơng tự với phép dịch chuyển LĐQH trong mô hình quan hệ. Trƣớc khi tìm hiểu phép dịch chuyển lƣợc đồ khối, chúng ta cùng tìm hiểu phép dịch chuyển LĐQH và một số vấn đề liên quan.