... tin khong chinh xac, khOng chltc chan. Dinhnghia ve phu thuoc ham mer va phu thuoc da tri mer trong bai bao cho m9t t~p cac lu~t suy din xac dingvadiy dii.1. INTRODUCTIONDatabase systems ... dependency in this scene. The soundness and completeness of the set ofaxioms, which is similar with Amstrong's axioms in the traditional relational database, will be provedin this section. In Section ... functional dependenciesFinvolving only attributes inU.The inference rules, which similar with Amstrong's axioms are:FFD1 :ReflexivityIf Y ~ X then X ~ YFFD2:AugmentationIf X ~ Y holds,...