Design by example: An application of Armstrong relations