Mục lục:
Định nghĩa - Phụ thuộc chức năng có nghĩa là gì?
Sự phụ thuộc chức năng là một mối quan hệ tồn tại khi một thuộc tính xác định duy nhất một thuộc tính khác.
Nếu R là mối quan hệ với các thuộc tính X và Y, thì phụ thuộc chức năng giữa các thuộc tính được biểu diễn là X-> Y, trong đó chỉ định Y phụ thuộc chức năng vào X. Ở đây X là tập xác định và Y là thuộc tính phụ thuộc. Mỗi giá trị của X được liên kết với chính xác một giá trị Y.
Sự phụ thuộc chức năng trong cơ sở dữ liệu đóng vai trò là một ràng buộc giữa hai bộ thuộc tính. Xác định sự phụ thuộc chức năng là một phần quan trọng của thiết kế cơ sở dữ liệu quan hệ và góp phần bình thường hóa khía cạnh.
Techopedia giải thích sự phụ thuộc chức năng
Một phụ thuộc chức năng là không đáng kể nếu Y là tập con của X. Trong một bảng có các thuộc tính của tên nhân viên và số An sinh xã hội (SSN), tên nhân viên phụ thuộc chức năng vào SSN vì SSN là duy nhất cho các tên riêng lẻ. SSN xác định cụ thể nhân viên, nhưng tên nhân viên không thể phân biệt SSN vì nhiều nhân viên có thể có cùng tên.
Chức năng phụ thuộc định nghĩa mẫu bình thường Boyce-Codd và dạng bình thường thứ ba. Điều này bảo tồn sự phụ thuộc giữa các thuộc tính, loại bỏ sự lặp lại thông tin. Sự phụ thuộc chức năng có liên quan đến khóa ứng viên, xác định duy nhất một bộ dữ liệu và xác định giá trị của tất cả các thuộc tính khác trong mối quan hệ. Trong một số trường hợp, các bộ phụ thuộc chức năng là không thể giảm nếu:
- Tập hợp phụ thuộc chức năng bên phải chỉ giữ một thuộc tính
- Không thể giảm bộ phụ thuộc chức năng bên trái, vì điều này có thể thay đổi toàn bộ nội dung của bộ
- Giảm bất kỳ phụ thuộc chức năng hiện có có thể thay đổi nội dung của tập hợp
Một thuộc tính quan trọng của sự phụ thuộc chức năng là tiên đề của Armstrong, được sử dụng trong chuẩn hóa cơ sở dữ liệu. Trong một mối quan hệ, R, với ba thuộc tính (X, Y, Z) tiên đề của Armstrong đúng nếu các điều kiện sau được thỏa mãn:
- Tiên đề của tính chuyển động: Nếu X-> Y và Y-> Z, thì X-> Z
- Tiên đề về tính phản xạ (Thuộc tính tập hợp con): Nếu Y là tập con của X, thì X-> Y
- Tiên đề của sự tăng cường: Nếu X-> Y, thì XZ-> YZ
