Mô hình ngoài là:

Xoá bản ghi gốc

Xoá tất cả các bản ghi phụ thuộc

Xoá cấu trúc cây phân cấp

Xoá bản ghi phụ thuộc duy nhất

Các định nghĩa, tiên đề, định lý

Quy tắc biểu diễn cấu trúc dữ liệu

Mối quan hệ giữa các thực thể dữ liệu

Các quy tắc, quy định

Đảm bảo tính toàn vẹn dữ liệu

Không dư thừa thông tin

Làm xuất hiện mâu thuẫn dữ liệu

Không làm xuất hiện mâu thuẫn dữ liệu

Các phần tử

Các phụ thuộc hàm

Các thuộc tính

Các quan hệ trong một CSDL

Nếu A --> B và B --> C => A --> C

Nếu A --> B và B --> C => AC --> B

Nếu A --> B và B --> C => AB --> C

Nếu A --> B và B --> C => AC --> BC

Quan hệ gốc được khôi phục từ các quan hệ chiếu.bằng phép kết nối tự nhiên

Quan hệ gốc được khôi phục chính xác từ các quan hệ chiếu

Quan hệ gốc được khôi phục từ các quan hệ chiếu.bằng phép kết nối

Quan hệ gốc được khôi phục từ các quan hệ chiếu.bằng phép chiếu và chọn

REVOKE ON FROM

REVOKE ON FROM

REVOKE ON FROM

REVOKE SELECT ON FROM

Tránh dư thừa dữ liệu trong lưu trữ

Một thuộc tính được mô tả lặp lại nhiều lần

Tiết kiệm bộ nhớ và các thiết bị lưu trữ

Tránh được dị thường thông tin

Vế trái của X --> Z có chứa thuộc tính dư thừa

Vế trái của XY --> WP có chứa thuộc tính dư thừa

Vế trái của XZ --> R có chứa thuộc tính dư thừa

Vế trái của XY --> WP có chứa thuộc tính dư thừa

X là khóa nếu: X+ = Ω và (X - A)+ = Ω

Các thuộc tính không khoá phụ thuộc đầy đủ vào khóa

Mỗi một giá trị của khoá xác định các giá trị của các thuộc tính không khoá

Giá trị các khoá có thể trùng nhau