What are Armstrong rules? How do we say that they are complete and/or sound The well-known inference rules for FDs

         

            Of these the first three are known as Amstrong Rules. They are sound because it is enough if a set of FDs satisfy these three. They are called complete because using these three rules we can generate the rest all inference rules.