functional dependencies compsci 186 8169771