Reasoning About Fds In Dbms Best