Mục lục:
Định nghĩa - Axiom của Armstrong có nghĩa là gì?
Axiom của Armstrong là một ký hiệu toán học được sử dụng để tìm các phụ thuộc chức năng trong cơ sở dữ liệu. Được hình thành bởi William W. Armstrong, nó là một danh sách các tiên đề hoặc quy tắc suy luận có thể được thực hiện trên bất kỳ cơ sở dữ liệu quan hệ nào. Nó được ký hiệu bằng ký hiệu F +.
Techopedia giải thích Tiên đề của Armstrong
Axiom của Armstrong được sử dụng để phân tích, tinh chỉnh và duy trì cơ sở dữ liệu quan hệ. Nó có ba chế độ chính hoặc suy luận được áp dụng trên một tập hợp dữ liệu. Chúng là như sau:
- Tiên đề về tính phản xạ: Nếu tên người dùng (A) và tiêu đề (B) đại diện cho tên của một người, thì mối quan hệ giữa cả hai (A và B) ít quan trọng.
- Tiên đề của việc tăng cường: Nếu ID người dùng xác định tên của một người, thì ID người dùng có hạn ngạch email sẽ xác định tên người và hạn ngạch email.
- Tiên đề về tính biến đổi: Nếu ID người dùng xác định tên của một người và tên của một người xác định bộ phận, thì bộ phận có thể xác định ID người dùng.
