Học viện công nghệ BƯu chính viễn thông khoa viễn thông 1 Bài giảng Học phần: CƠ SỞ DỮ liệU
Dạng chuẩn BCNF và chuẩn hóa về BCNF
tải về 4.98 Mb. Chế độ xem pdf
|
TH CSDL 2015Sep, 6. Đề cương Cơ sở dữ liệu- sau nghiệm thu. 23.02.2022, Chuong01-CSDL
- Điều hướng trang này:
- 4.4.5. Chuẩn hoá qua phép tách không làm mất thông tin
| 4.4.4. Dạng chuẩn BCNF và chuẩn hóa về BCNF
Định nghĩa: một lược đồ quan hệ R ở dạng chuẩn BCNF với một tập các phụ thuộc hàm F nếu với bất kỳ phụ thuộc hàm dạng X → A nào và A ⊈ X, thì X là một siêu khóa của R. Ví dụ: Cho R = (A, B, C) với F = {AB → C, C → A} K ={AB} thì R không ở dạng BCNF vì C → A và C không phải là một siêu khóa của R. Lưu ý rằng sự khác nhau duy nhất trong định nghĩa của dạng chuẩn 3 và chuẩn BCNF là BCNF bỏ đi sự cho phép A trong X → A phải là thuộc tính khóa. Một khía cạnh thú vị đối với BCNF là Boyce và Codd ban đầu dự định dạng xây dựng dạng chuẩn này là một dạng đơn giản hơn chuẩn 3NF. Nói một cách khác, nó đã được mong muốn là nằm giữa 2NF và 3NF tuy nhiên sau đó nó được nhanh chóng chứng minh rằng thậm chí còn mạnh hơn cả 3 NF và vì vậy nó đứng ở vị trí giữa 3NF và 4NF. Trong thực tế, hầu hết các lược đồ quan hệ mà đã ở dạng chuẩn 3NF thì cũng ở dạng chuẩn BCNF. Chỉ nếu X → A trong lược đồ nhưng X không phải là một siêu khóa hoặc A là một thuộc tính khóa, thì lược đồ này ở dạng 3NF nhưng không ở dạng BCNF. 4.4.5. Chuẩn hoá qua phép tách không làm mất thông tin Nói chung, chúng ta muốn thiết kế các lược đồ của chúng ta sao cho chúng không còn các phụ thuộc bộ phận và các phụ thuộc bắc cầu bởi vì các kiểu phụ thuộc này gây ra các sửa đổi bất thường. Các bước chuẩn hóa thành 3NF, BCNF đã được trình bày trong phần trước loại bỏ các phụ thuộc bộ phận và bắc cầu dựa trên khóa chính. Các định nghĩa này không tính đến các khóa dự tuyển của quan hệ. Trong phần này chúng ta sẽ đưa ra các định nghĩa về các dạng chuẩn tổng quát hơn, có tính đến tất cả các khóa dự tuyển. 138 Cụ thể, thuộc tính khóa được định nghĩa lại là một bộ phận của một khóa dự tuyển. Các phụ thuộc hàm bộ phận, đầy đủ, bắc cầu bây giờ sẽ được định nghĩa đối với tất cả các khóa dự tuyển của quan hệ. Định nghĩa dạng chuẩn 1: Một lược đồ quan hệ R là ở dạng chuẩn 1 (1NF) nếu miền giá trị của các thuộc tính của nó chỉ chứa các giá trị nguyên tử (đơn, không phân chia được) và giá trị của một thuộc tính bất kỳ trong một bộ giá trị phải là một giá trị đơn thuộc miền giá trị của thuộc tính đó. Định nghĩa dạng chuẩn 2: Một lược đồ quan hệ R là ở dạng chuẩn 2 (2NF) nếu mỗi thuộc tính không khóa A trong R không phụ thuộc bộ phận vào một khóa bất kỳ của R. Ví dụ: Xét lược đồ quan hệ R={A,B,C,D,E,F} Với các phụ thuộc hàm A→BCDEF; BC → ADEF; B→ F; D → E. Lược đồ trên có hai khóa dự tuyển là A và {B,C}. Ta chọn A làm khóa chính. Do có phụ thuộc hàm B → F nên F phụ thuộc bộ phận vào khóa {B,C}, lược đồ vi phạm chuẩn 2NF (chú ý rằng, trong định nghĩa dạng chuẩn dựa trên khóa chính, lược đồ này không vi phạm 2NF). Định nghĩa dạng chuẩn 3: Một lược đồ quan hệ R là ở dạng chuẩn 3 (3NF) nếu khi một phụ thuộc hàm X → A thỏa mãn trong R, thì: 1) Hoặc X là một siêu khóa của R. 2) Hoặc A là một thuộc tính khóa của R. Ví dụ: Xét lược đồ quan hệ R ở ví dụ trên. Giả sử nó được tách thành hai lược đồ: R1 = {A,B,C,D,E} R2 = {B, F}. Do có phụ thuộc hàm D → E trong đó D không phải thuộc tính khóa, E cũng không phải là thuộc tính khóa, nên R1 vi phạm chuẩn 3NF Định nghĩa dạng chuẩn Boyce- Codd: Một lược đồ quan hệ là ở dạng chuẩn Boyce- Codd (BCNF) nếu khi một phụ thuộc hàm X → A thỏa mãn trong R thì X là một siêu khóa của R. Ví dụ: Xét lược đồ R = {A, B, C, D} có A là khóa chính và {B,C} là khóa dự tuyển. Nếu có tồn tại một phụ thuộc hàm D → B thì lược đồ này vi phạm BCNF vì B là một thuộc tính khóa (chú ý rằng trong trường hợp định nghĩa dạng chuẩn dựa trên khóa chính, lược đồ này không vi phạm BCNF). 139 Giải thuật bên dưới mô phỏng lại các bước tách bảo toàn tập phụ thuộc hàm về 3NF tải về 4.98 Mb. Chia sẻ với bạn bè của bạn:
|