Implication of functional dependencies for recursive queries