The Logic Implication Problem of Strong Holding in Composite NFD-NMVD under Null Value Circumstances

In this paper,the definition of strong holding dependency basis in composite NFDNMVD and the algorithm are discussed,the availability and completeness of the algorithm are discussed,and the algorithms to find out composite NFD-NMVD inferring axiom and closure of set of the strong holding attribute are given. And as a result,the logic implication problem of strong holding in composite NFD-NMVD is solved.