... scheme. The soundness and completeness of inference rules, similar to Armstrong'saxioms are proved.Tom tlit. Trong bai bao nay chiing tai trlnh bay dinh nghia cho phu shuoc ham va phu ... m6ithucc tinh.Tinhxac ding va daydii cilah~ tien detuo'ng tv' h~tien de Armstrong ciingdtro'cchu'ng minh.1. INTRODUCTIONRelational databases have been studied ... etc. We also show that theinference rules of(a,,B)-ffd,(a,,B)-fmvd, which are similar to Armstrong' axioms for classical relationaldatabases, are sound and complete.This paper is organized...