Một số kết quả liên quan đến rút gọn bài toán tìm khóa của lược đồ quan hệ

Trong [1] đã đưa ra một điều kiện cần để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [2], các tác giả cũng đưa ra một điều kiện cần khác để một tập thuộc tính là khóa của lược đồ quan hệ. Trong [3] đã chỉ ra rằng chỉ cần cải tiến điều kiện cần trong [1] theo một cách tiếp cận đơn giản hơn thì có thể suy ra được điều kiện cần trong [2].