Nói rằng A --> B được suy dẫn từ F, nếu ________.
Trả lời:
Đáp án đúng: D
Câu hỏi này kiểm tra định nghĩa về suy dẫn logic (logical implication) trong logic mệnh đề (propositional logic) hoặc logic vị từ (predicate logic). Trong bối cảnh cơ sở dữ liệu quan hệ và lý thuyết phụ thuộc hàm (functional dependency), khái niệm này cũng rất quan trọng.
- Phương án A: "Hai bộ bất kỳ trùng nhau trên A thì khác nhau trên B" - Sai. Điều này không liên quan đến suy dẫn logic. Nó mô tả một mối quan hệ rất kỳ lạ và không có ý nghĩa chuẩn.
- Phương án B: "Hai bộ bất kỳ thoả trên trên A thì thoả trên B" - Đúng. Đây chính là định nghĩa của suy dẫn logic. Nếu A --\> B được suy dẫn từ F, thì bất kỳ bộ nào thỏa mãn A đều phải thỏa mãn B.
- Phương án C: "Hai bộ bất kỳ khác nhau trên A thì cũng khác nhau trên B" - Sai. Điều này cũng không liên quan đến suy dẫn logic. Nó nói rằng nếu hai bộ khác nhau trên A, chúng phải khác nhau trên B, nhưng điều này không phải lúc nào cũng đúng trong suy dẫn logic.
- Phương án D: "Áp dụng liên tiếp các hệ tiên đề Armstrong" - Sai. Mặc dù các tiên đề Armstrong được sử dụng để chứng minh các phụ thuộc hàm, nó không phải là định nghĩa của suy dẫn logic mà là một công cụ để suy diễn ra các phụ thuộc hàm mới từ các phụ thuộc hàm đã biết.
Vậy, đáp án đúng là B.
