... tính bao đóng của một tập thuộc tính bất kỳ của một sơ đồ quan hệ hay quan hệ là đa thức. Cho nên chúng ta có kết luận sau.Định lý 4.Cho trước một quan hệ r và một sơ đồ quan hệ s. Khi đó đều ... được gọi là bao đóng của A trên r1.7 Khóa của quan hệ, sơ đồ quan hệ, họ f.Định nghĩa 11.Giả sử r = { h1, h2, , hm} là một quan hệ, s = < R, F > là một sơ đồ quan hệ, trong đó R = ... cho phép chọn các chức năng của hệ thống như:- Nhập vào một sơ đồ quan hệ (Nhập S).- Tính bao đóng từ một sơ đồ quan hệ đã cho (Bao đóng).- Kiểm tra sơ đồ quan hệ đã cho có phải là BCNF hay...