Bài giảng Xử lý thông tin trong cơ sở dữ liệu
Cho lược đồ quang hệ R và tập phụ thuộc hàm F trên R, phép tách P=(R1,R2,.,Rk) được gọi là tách có nối không mất thông tin (hay gọi tắt là tách không mất thông tin) nếu với mọi quang hệ r của R thỏa mãn F thì r=IIR1(r) IIR2(r).IIRk(r)