Trong mô hình quan hệ chính thức, một mối quan hệ được định nghĩa là một bộ dữ liệu. Theo định nghĩa,
tất cả các yếu tố của một bộ là khác biệt; do đó, tất cả các bộ trong một quan hệ cũng phải phân biệt.
Điều này có nghĩa rằng không có hai bộ dữ liệu có thể có cùng một kết hợp của các giá trị cho tất cả các họ
thuộc tính. Thông thường, có các tập con khác của các thuộc tính của một lược đồ quan hệ R với
những tài sản mà không có hai bản ghi trong bất kỳ r trạng mối quan hệ của R nên có cùng một
sự kết hợp của các giá trị cho các thuộc tính. Giả sử chúng ta biểu thị một tập hợp con như
các thuộc tính của SK; sau đó cho bất kỳ hai bộ dữ liệu riêng biệt t
1 và t
2 trong một r trạng mối quan hệ của R,
chúng tôi có các ràng buộc:
đang được dịch, vui lòng đợi..