Tin Học : Phần 5.3.3. Bài Toán Thành Viên | Tin Hoc 24h

Qua phần trên ta nhận thấy X+ được định nghĩa thông qua F+. Vấn đề
nảy sinh khi nghiên cứu lý thuyết CSDL là: Cho trước tập các phụ thuộc hàm F
và một phụ thuộc hàm f, bài toán kiểm tra có hay không f ∈ F+ gọi là bài toán
thành viên.