On the existence of acyclic views in a database scheme