Phụ thuộc hàm phức hợp(compound functional dependency CFD) Định nghĩa 1.22 [4]

Một phần của tài liệu Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối (Trang 31 - 33)

191) X=AC 192)Tính x +

1.6.2. Phụ thuộc hàm phức hợp(compound functional dependency CFD) Định nghĩa 1.22 [4]

nghĩa 1.22 [4]

225) Phụ thuộc hàm phức hợp có dạng:Xi, x2,... .,Xk-»Y, trong đó Xi, x2,... .,xk và Y là các tập con khác nhau của lược đồ R.

226) Quan hệ r(R) thoả phụ thuộc hàm phức hợp (Xi, x2, .. ..,xk) Y nếu nó thoả các phụ thuộc hàm Xi-»Xj, Xị^Y với \ < I , J < K .Trong phụ thuộc hàm phức

227)...hợp này, (Xi, x 2 , x k) được gọi là vế trái, Xi, x2, ....,xklà các tập trái, Y

228) gọi là vế phải.

229) Phụ thuộc hàm phức họp là cách viết rút gọn hơn tập các phụ thuộc hàm có vế trái tương đương. Trường hợp nếu Y=<D, có dạng đặc biệt của phụ thuộc hàm phức hợp là (Xi, x2,....,Xk).

230) Định nghĩa 1.23[4]

231) Giả sử G là tập các phụ thuộc hàm phức họp ừên R và F là tập các phụ thuộc hàm hay các phụ thuộc hàm phức họp trên R. Tập G tương đương với tập F, kí hiệu là G=

F, nếu mối quan hệ r(R) thoả G thì thoả F và ngược lại.

232) Định nghĩa 1.24[4]

233) Cho G là tập phụ thuộc hàm phức hợp chứa phụ thuộc (Xi, x2, ..X]j) ->Y. Cho Xi là một trong các tập trái và A là một thuộc tính trong Xi. Thuộc tính A được gọi là

C Ó T H Ể D Ị C H C H U Y Ể N (shiftable) nếu A có thể dịch chuyển được từ Xi sang Y mà vẫn bảo toàn sự tương đương. Tập trái Xi C Ó T H Ể D Ị C H C H U Y Ể N , nếu mọi thuộc tính của Xi là có thể dịch chuyển đồng thời.

234) Định nghĩa 1.25 [4]

235) Tập phụ thuộc hàm F được gọi là tập phụ thuộc hàm đặc trưng tự nhiên đầy đủ( complete natural characteristic set) với phụ thuộc hàm phức họp (Xi, x 2, .. .xk) -> Y,

nếu F là tập phụ thuộc hàm đặc trưng tự nhiên đối với phụ thuộc hàm phức hợp đã cho và F có dạng:

236) F = {x, ->(ựUwX,>'|i = 1,2,...,*}

237) Định nghĩa 1.26[4]

238) Phụ thuộc hàm phức họp có dạng CF=(Xi, x2, . . . , xk) ->Y- (ỊJ*=X ) được 239) gọi là P H Ụ T H U Ộ C H À M P H Ứ C H Ợ P T H U H Ẹ P

/>Aảỉ(right restricted compound functional dependency). 240) Kết luận chương 1

241) Chương này đã trình bày một số các khái niệm cơ bản nhất trong mô hình dữ liệu quan hệ. Trình bày các phép toán cơ bản, các khái niệm về phụ thuộc hàm, khoá, bao đóng cùng với các tính chất của chúng. Ngoài ra các thuật toán tìm khoá, bao đóng cũng được trình bày.

242) Mô hình dữ liệu quan hệ có tính độc lập dữ liệu cao, dễ dàng sử dụng và còn cho phép dễ dàng mô phỏng các hệ thống thông tin đa dạng trong thực tiễn. Trong mô hình này, cơ sở dữ liệu được xem như là một tập hợp các quan hệ, mỗi quan hệ có thể được hình dung một cách trực quan như là một bảng chữ nhật gồm có các hàng và các cột. Ở bảng này mỗi cột ứng với một thuộc tính, mỗi hàng được gọi là một bộ. Do các quan hệ có cấu trúc phẳng (tuyến tính) nên mô hình này sẽ rất khó khăn khi biểu diễn các dữ liệu có tính chất động (phi tuyến).

243) CHƯƠNG 2: MÔ HÌNH cơ SỞ DỮ LIỆU DẠNG KHỐI

244) Để mở rộng và khắc phục phần nào những nhược điểm của mô hình quan hệ nói trên, chương này đưa ra một mô hình cơ sở dữ liệu khác gọi là mô hình cơ sở dữ liệu dạng khối được xây dựng và mô tả trong nó. Mô hình này giúp biểu diễn thế giới thực trong quá trình vận động một cách tự nhiên hơn.

Một phần của tài liệu Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối (Trang 31 - 33)

Tải bản đầy đủ (DOCX)

(89 trang)
w