TAILIEUCHUNG - Chương 1: Phụ thuộc hàm
Cho tập hữu hạn U = {A1, A2 , . , An } khác trống (n 1). Các phần tử của U được gọi là thuộc tính, ứng với mỗi thuộc tính Ai U,i = 1,2, ., n có một tập không rỗng dom(Ai) được gọi là miền trị của thuộc tính Ai | Chương 1: Phụ thuộc hàm Nguồn: Nguyễn Xuân Huy, Lê Hoài Bắc, Bài tập cơ sở dữ liệu, Nhà XB Thống kê, 2003 David Maier, The theory of relational database, Computer Science Press, 1983 Jeffrey , The principles of database and knowledge base system Vol1, 2, Computer Science Press, 1989 Quan hệ Cho tập hữu hạn U = {A1, A2 , . , An } khác trống (n 1). Các phần tử của U được gọi là thuộc tính, ứng với mỗi thuộc tính Ai U,i = 1,2, ., n có một tập không rỗng dom(Ai) được gọi là miền trị của thuộc tính Ai. Lưu ý D là hợp của các dom(Ai) với i=1,2, ,n Một quan hệ R với các thuộc tính U = A1, A2 , . , An , ký hiệu là R(U), là một tập các ánh xạ t : U D sao cho với mỗi Ai U ta có t(Ai) dom(Ai). Mỗi ánh xạ được gọi là một bộ của quan hệ R. Phụ thuộc hàm Cho tập thuộc tính U. Một phụ thuộc hàm (PTH) trên U là công thức dạng f: X Y; X, Y U Cho quan hệ R(U) và một PTH f: X Y trên U. Ta nói quan hệ R thoả PTH f và viết R(f), nếu hai bộ tuỳ ý trong R giống nhau trên X thì chúng cũng giống nhau trên Y, R(X Y) ( u,v R): () () Cho tập PTH F trên tập thuộc tính U. Ta nói quan hệ R(U) thoả tập PTH F, và viết R(F), nếu R thoả mọi PTH trong F, R(F) ( f F): R(f) Hệ tiên đề Armstrong (1/2) Hệ tiên đề Armstrong bao gồm: X, Y, Z U a1) phản xạ: Nếu Y X thì X → Y a2) tăng trưởng: Nếu Z U và X → Y thì XZ → YZ Ký hiệu XZ là X Z a3) bắc cầu: Nếu X → Y và Y → Z thì X → Z ----------------------------------------------- Cho tập PTH F trên tập thuộc tính U. Bao đóng của F, ký hiệu F+ là tập nhỏ nhất các PTH trên U chứa F và thoả các tính chất a1 - a3 của hệ tiên đề Armstrong Hệ tiên đề Armstrong (2/2) a4) bắc cầu giả: Nếu X → Y và WY → Z thì XW → Z a5) luật hợp: nếu X → Y và X → Z thì X → YZ a6) luật phân rã: Nếu X → Y và Z Y thì X → Z Trong sáu luật trên thì a4, a5, a6 suy được từ a1, a2, a3. Suy dẫn theo tiên đề (suy dẫn logic) Ta nói PTH f được suy dẫn theo tiên đề (hoặc suy dẫn logic) từ tập PTH F và ký hiệu là F ╞
đang nạp các trang xem trước
