Về các dạng tựa chuẩn trong mô hình dữ liệu dạng khối

VỀ CÁC DẠNG TỰA CHUẨN TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Trịnh Đình Thắng 1 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ột số kết quả về khối, lược đồ khối,

VỀ CÁC DẠNG TỰA CHUẨN TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI

Trịnh Đình Thắng 1

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ệ Trong một vài năm gần đây, mô hình này đã được đề xuất và nghiên cứu

Một số kết quả về khối, lược đồ khối, đại số quan hệ trên khối, khoá, phụ thuộc hàm, các dạng chuẩn đã được trình bày trong [1], [2], [3], [5]

Bài báo đưa ra các khái niệm tựa chuẩn như: tựa chuẩn 2, tựa chuẩn 3 trong

mô hình dữ liệu dạng khối Từ các khái niệm đã được định nghĩa, một số tính chất mới về các dạng tựa chuẩn đó được phát biểu và chứng minh

1 Mô hình dữ liệu dạng khối

1.1 Khối, lược đồ khối

Định nghĩa 1.1

Gọi R = (id; A1, A2, , An ) là một bộ hữu hạn các phần tử, trong đó id là tập chỉ số hữu hạn

khác rỗng, Ai (i=1 n) là các thuộc tính Mỗi thuộc tính Ai (i=1 n) có miền giá trị tương ứng là

dom(Ai) Một khối r trên R, kí hiệu r(R) gồm một số hữu hạn phần tử mà mỗi phần tử là một họ các

ánh xạ từ tập chỉ số id đến các miền trị của các thuộc tính Ai (i=1 n)

Nói một cách khác:

t r(R)  t = { ti : id  dom(Ai)}i=1 n

Ta kí hiệu khối đó là r(R) hoặc r(id; A1, A2, , An ), đôi khi nếu không sợ nhầm lẫn ta kí hiệu

đơn giản là r

Khi đó khối r(R) được gọi là có lược đồ khối R Như vậy trên cùng một lược đồ khối R, ta có

thể xây dựng được nhiều khối khác nhau

Định nghĩa 1.2

Cho R = (id; A1, A2, , An ), r(R) là một khối trên R Với mỗi x id ta kí hiệu r(Rx) là một

khối với Rx = ({x}; A1, A2, , An ) sao cho:

tx  r(Rx)  tx = {tix = ti } i=1 n , t r(R), t = { ti

: id  dom(Ai)}i=1 n

x

ở đây ti

x(x) = ti(x) , i=1 n

Khi đó r(Rx) được gọi là một lát cắt trên khối r(R) tại điểm x

1.2 Đại số quan hệ trên khối

1

Trường ĐHSP Hà Nội 2

Cho r là một khối trên R = (id; A1, A2, , An ) Cũng tương tự như đại số quan hệ trong mô hình dữ liệu quan hệ, ở đây các phép toán của đại số quan hệ lại được áp dụng cho các khối như: phép hợp, phép giao, phép trừ, phép chiếu, phép chọn, phép kết nối, phép chia Ngoài ra còn có một phép toán mới được xây dựng: phép nối dài Các định nghĩa cùng các tính chất của các phép toán nói trên đã được trình bày trong [2],[4]

1.3 Phụ thuộc hàm

Sau đây, để cho đơn giản ta sử dụng các kí hiệu:

x(i) = (x; Ai ) ; id(i) = {x(i) | x  id}

Ta gọi x(i) (x  id, i = 1 n) là các thuộc tính chỉ số của lược đồ khối R = (id; A1,A2, ,An )

Định nghĩa 1.3

i i

1

) id Y

X,



 , X  Y là kí hiệu một

phụ thuộc hàm Một khối r thoả X  Y nếu với mọi t1, t2  R sao cho t1(X) = t2(X) thì t1(Y) =

t2(Y)

Định nghĩa 1.4

Cho lược đồ khối R = (id; A1, A2, , An ), F là tập các phụ thuộc hàm trên R

được xác định như sau:

F+ = { X  Y | F  X  Y }

Nếu X = {x(m)}  id(m)

, Y = {y(k)}  id(k) thì ta kí hiệu phụ thuộc hàm X  Y đơn giản là

x(m)  y(k)

Khối r thoả x(m)  y(k)

nếu với mọi t1, t2  r sao cho t1(x(m)) = t2(x(m)) thì t1(y(k)) = t2(y(k))

Trong đó: t1(x(m)) = t1(x; Am), t2(x(m)) = t2(x; Am) ,

t1(y(k)) = t1(y; Ak ), t2(y(k)) = t2(y; Ak )

Mệnh đề 1.1

i i

1

) id Y

X,



 , X  Y là kí hiệu

- r(R) trở thành quan hệ r(A1, A2, , An ) và

i 1

i A Y

X,



 ) trở thành phụ thuộc hàm trong mô hình dữ liệu

quan hệ

1.4 Bao đóng của tập thuộc tính chỉ số:

Định nghĩa 1.5

Cho lược đồ khối R=(id; A1, A2, , An ), F là tập các phụ thuộc hàm trên R

id X



 , ta định nghĩa bao đóng của X đối với F kí hiệu X+ như sau: X+

= {x(i) , x  id, i = 1 n | X  x(i)  F+

} Cho lược đồ khối R=(id; A1, A2, , An ), ta kí hiệu tập các phụ thuộc hàm trên R:

Fh  { X  Y | 

A i

i

x X



B j

j

x Y



, A, B {1,2, ,n} và x  id } ,

Fhx = Fh  n

i

i

x

1

)



= { X  Y  Fh | X, Y  n

i

i

x

1

)



}

Cho lược đồ khối R=(id; A1, A2, , An ), Fh , Fhx là tập các phụ thuộc hàm trên R, Rx tương ứng, M  n

i

i

id

1

)



, M = 

A x x M



, Mx  n

i

i

x

1

)



, Mx  , x  A  id

Ta có các mệnh đề sau:

Mệnh đề 1.2

Cho lược đồ khối R=(id; A1, A2, , An ), Fh , Fhx là tập các phụ thuộc hàm trên R, Rx tương

i

i

1

) id



A x x M



, Mx  n

i i

1

) x



, Mx  , x  A  id

là bao đóng của M đối với Fh thì x  A  id , n

i i

1

) x



 M+

là bao đóng của Mx = n

i

i

1

) x



 M đối với Fhx

Mệnh đề 1.3

Cho lược đồ khối R = (id; A1, A2, , An ), Fh , Fhx là tập các phụ thuộc hàm trên R, Rx tương

ứng, M  n

i

i

1

) id



, M = 

A x x M



, Mx  n

i i

1

) x



, Mx  , x  A  id

+

là bao đóng của Mx đối với Fhx thì 

A x x M





là bao đóng của M =



A

x

x

M



đối với Fh

Từ hai mệnh đề trên, ta rút ra điều kiện cần và đủ sau:

Mệnh đề 1.4

Cho lược đồ khối R=(id; A1, A2, , An ), Fh , Fhx là tập các phụ thuộc hàm trên R, Rx tương

ứng, M  n

i

i

1

) id



, M = 

A x x M



, Mx  n

i i

1

) x



, x  A  id

là bao đóng của M đối với Fh khi và chỉ khi Mx

+ = M+  n

i i

1

) x



là bao đóng

của Mx đối với Fhx

1.5 Khoá của lược đồ khối R đối với tập phụ thuộc hàm F trên R

Định nghĩa 1.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, K 

n

i

i

1

)

id



K gọi là khoá của lược đồ R đối với F nếu thoả 2 điều kiện:

a) K  x(i)  F+ , x  id, i = 1 n

b) K’  K thì K’ không có tính chất a)

Nếu K là khoá và K  K’’ thì K’’ gọi là siêu khoá của lược đồ khối R đối với F

1.6 Các dạng chuẩn

Định nghĩa 1.7

) 1

i id Y

X







) 1

i n

i id







Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Ta gọi lược đồ

, x id, i  {1,2, ,n} đều chỉ chứa các giá trị nguyên tố

Mệnh đề 1.5

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R, R thuộc dạng chuẩn 1 Khi đó nếu id = {x} thì lược đồ khối R suy biến thành lược đồ quan hệ ở dạng chuẩn 1 trong

mô hình dữ liệu quan hệ

Định nghĩa 1.8

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R,

Ta nói 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 hợp con thực sự nào của X

Định nghĩa 1.9

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và 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á

Mệnh đề 1.6

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R, R thuộc dạng chuẩn 2 Khi đó nếu id = {x} thì lược đồ khối R suy biến thành lược đồ quan hệ ở dạng chuẩn 2 trong

mô hình dữ liệu quan hệ

Định nghĩa 1.10

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và 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á

Mệnh đề 1.7

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R, R thuộc dạng chuẩn 3 Khi đó nếu id = {x} thì lược đồ khối R suy biến thành lược đồ quan hệ ở dạng chuẩn 3 trong

mô hình dữ liệu quan hệ

Định nghĩa 1.11

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R, X

Ta gọi lược đồ khối R thuộc dạng chuẩn Boye - Codd nếu X  x (i) thoả trên R, x (i) X, x id, i  {1,2, ,n} thì X là một khoá của R

Mệnh đề 1.8

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R, R thuộc dạng chuẩn Boye - Codd Khi đó nếu id = {x} thì lược đồ khối R suy biến thành lược đồ quan hệ ở dạng chuẩn Boye - Codd trong mô hình dữ liệu quan hệ

Mệnh đề 1.9

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó R thuộc dạng chuẩn Boye - Codd thì R ở dạng chuẩn 3

2 Kết quả nghiên cứu

Mệnh đề 2.1

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó nếu  x

thuộc dạng chuẩn 2 (dạng chuẩn 3, dạng chuẩn Boye - Codd)

Định nghĩa 2.1

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Ta gọi lược đồ

(dạng chuẩn 3)

Định nghĩa 2.2

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Ta gọi lược đồ

- Codd

Mệnh đề 2.2

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó nếu 

chuẩn 2 (tựa chuẩn 3, tựa chuẩn Boye - Codd)

Mệnh đề 2.3

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó R thuộc

dạng chuẩn 2 (dạng chuẩn 3, dạng chuẩn Boye-Codd)

Mệnh đề 2.4

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó nếu R thuộc dạng tựa chuẩn 3 thì R thuộc dạng tựa chuẩn 2

Mệnh đề 2.5

Cho lược đồ khối R = (id; A 1 , A 2 , , A n ) , và F là tập các phụ thuộc hàm trên R Khi đó nếu R thuộc dạng tựa chuẩn Boye-Codd thì R thuộc dạng tựa chuẩn 3

3 Kết luận

Các kết quả trên được tìm ra đối với trường hợp riêng của tập các phụ thuộc hàm F trong lược

đồ khối R = (id; A, A, , A ) Những kết quả này cho ta thấy rõ cấu trúc của các dạng tựa chuẩn

trong lược đồ khối đối với tập các phụ thuộc hàm dạng Fh Trên cơ sở của các kết quả này ta có thể triển khai tiếp quá trình chuẩn hoá và tựa chuẩn hoá trong các trường hợp riêng (như đối với tập các phụ thuộc hàm dạng Fh ) góp phần làm phong phú thêm các tính chất của mô hình dữ liệu dạng khối

TÀI LIỆU THAM KHẢO

1 Nguyễn Xuân Huy, Trịnh Đình Thắng, Mô hình cơ sở dữ liệu dạng khối, Tạp chí Tin học và

Điều khiển học, T.14, S.3 (52-60), 1998

2 Nguyễn Xuân Huy, Trịnh Đình Thắng, Khoá và đại số quan hệ trong mô hình cơ sở dữ liệu

dạng khối, Báo cáo tại Hội nghị khoa học ngành Toán - Cơ - Tin học, trường Đại học Khoa

học tự nhiên, Đại học Quốc gia Hà Nội, 22/4/1998 (tóm tắt)

3 Nguyễn Xuân Huy, Trịnh Đình Thắng, Một số kết quả về khoá trong mô hình cơ sở dữ liệu

dạng khối, Kỷ yếu Hội thảo quốc gia về Tin học ứng dụng, (36-41), Quy Nhơn, 04-06/8/1998

(toàn văn)

4 Nguyễn Xuân Huy, Trịnh Đình Thắng, Một vài thuật toán cài đặt các phép toán của đại số

quan hệ trong mô hình dữ liệu dạng khối, Tạp chí Tin học và Điều khiển học, T.15, S.3

(8-17), 1999

5 Nguyễn Xuân Huy, Trịnh Đình Thắng, On functional depen-dencies in the database model of

block form, Báo cáo tại International Conference Mathematical Foundation of Informatics,

Hanoi, October 25-28, 1999

6 Trịnh Đình Thắng, Khoá và phụ thuộc hàm trong mô hình dữ liệu dạng khối, Báo cáo tại Hội

thảo quốc gia lần thứ 3 “Một số vấn đề chọn lọc của Công nghệ Thông tin”, Huế 05-07/06/2000

7 Trịnh Đình Thắng, Một số kết quả về bao đóng, khoá và phụ thuộc hàm trong mô hình dữ liệu

dạng khối, Báo cáo tại Hội thảo quốc gia lần thứ 4 “Một số vấn đề chọn lọc của Công nghệ

Thông tin”, (245-251), Hải Phòng 05-07/06/2001, (toàn văn)

8 Trịnh Đình Thắng, Các dạng chuẩn trong mô hình dữ liệu dạng khối, Báo cáo tại Hội thảo quốc

gia lần thứ 5 “Một số vấn đề chọn lọc của Công nghệ Thông tin”, (245-251), Nha Trang 06-08/06/2002

9 Trịnh Đình Thắng, Một số kết quả về các dạng chuẩn trong mô hình dữ liệu dạng khối, Báo

cáo tại Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của Công nghệ Thông tin và

Truyền thông”, Đà Nẵng 18-20/08/2004

STANDARD FORMS IN DATA MODEL OF BLOCK FORM

Trinh Dinh Thang

Abstract

Data model of block form is an extension of relationship data model This model has been proposed and studied in recent years In this model many concepts has been studied such as block, block diagram, slice, relation algebraic on the block, lock, depended function were presented in [1], [2], [3], [5]

The report gives concepts of standard form such as standard form 2, standard form 3 … in data model of block form From the concepts have been defined, some new properties of that standard

form expressed and demonstrated too