Equivalence theorem for generalized dependencies in relational databases - Nguyen Xuan Huy.