What is the role of Armstrong’s inference rules (inference rules IR1 through IR3) in the development of the theory of relational design?