Add hard functional dependency detection

[kahliloppenheimer]

Add a check on the server to go through all possible permutations of hard FD checks and store the inferred FDs (maybe even send them back to the user)