"righarrow used" bu functional dependencies