IDEF1X (Integration DEFinition for Information Modeling) là một phương pháp thiết kế cơ sở dữ liệu quan hệ với cú pháp hỗ trợ các cấu trúc trong việc phát triển lược đồ khái niệm.
Không phải ai cũng biết rằng ký hiệu này có một lịch sử thú vị. Thật vậy, nhu cầu về các mô hình dữ liệu ngữ nghĩa được Không quân Hoa Kỳ công nhận lần đầu tiên vào giữa những năm 1970. Kết quả là Chương trình ICAM ra đời (Nó xác định nhu cầu về các kỹ thuật phân tích và giao tiếp tốt hơn cho những người liên quan đến việc cải thiện năng suất sản xuất), sau đó đã phát triển một loạt các kỹ thuật được gọi là IDEF; IDEF1X là một trong số đó.
Hãy xem xét kỹ hơn cú pháp:
Loại thực thể
- Thực thể yếu (phụ thuộc) được biểu thị bằng một hình chữ nhật có góc tròn (các trường hợp của các thực thể phụ thuộc vào mã nhận dạng là vô nghĩa (theo định nghĩa) nếu không có một trường hợp thực thể được liên kết khác)
- Thực thể mạnh (độc lập) được biểu thị bằng một hình chữ nhật (Bản sao của các thực thể độc lập với mã định danh có thể tồn tại mà không có bất kỳ trường hợp thực thể nào khác)
Ví dụ:sách với tư cách là một thực thể độc lập và chương là một thực thể phụ thuộc.
Các thuộc tính
Để trình bày thuộc tính , thực thể được chia thành hai phần. Trong cái đầu tiên, có các thuộc tính khóa chính, trong khi cái còn lại chứa các thuộc tính. Hơn nữa, tên của thực thể thường nằm phía trên hình chữ nhật. Mọi thuộc tính phải có một giá trị (Quy tắc không có giá trị) và không thuộc tính nào có thể có nhiều giá trị (Quy tắc không lặp lại). Mỗi thực thể có đúng một khóa chính được hiển thị phía trên đường ngang trong hộp thực thể. Các khóa ngoại được gắn nhãn (FK) và các khóa thay thế được trình bày dưới dạng (AK) để cho thấy rằng chúng không thuộc sở hữu của thực thể đó.
Mối quan hệ
Các đường liền nét hoặc đứt nét với các vòng tròn được tô đầy ở một hoặc cả hai đầu biểu thị cách các thực thể liên quan với nhau. Các mối quan hệ luôn nằm giữa chính xác hai thực thể và được gắn nhãn bằng một cụm động từ mô tả mối quan hệ. Mỗi mối quan hệ kết nối có một bản số liên quan chỉ định số lượng cá thể của thực thể phụ thuộc có liên quan đến một cá thể của thực thể độc lập. Điều này được minh họa trong sơ đồ dưới đây:
Ngoài ra, chúng ta thường bắt gặp các mô hình trong ký hiệu IDEF1X ngoại trừ các quan hệ được hiển thị bằng ký hiệu IEEE (vết chân chim, được công nhận rộng rãi hơn).
Bây giờ, khi có tất cả thông tin cần thiết, hãy quay lại ví dụ trước với sách và chương và trình bày nó trong sơ đồ IDEF1X.
