In this colstruction we are going to futrher discuss properties of functional dependencies. We are going to practice with inference rules some more, by defining another type of constraints..