1 bool FDIsValidOnRelation(RelationInstance r, FunctionalDependency fd)
//Can't actually do this, requires instance
2 FunctionalDependencySet CalculateFDClosure(FunctioanlDependencySet fds)
3 AttributeSet CalculateAttributeClosure(FunctioanlDependencySet fds, AttributeSet as)
4 FunctioanlDependencySet CalculateMinimalCover(FunctioanlDependencySet fds)
5 CalculateAllCandidateKeys(AttributeSet as, FunctioanlDependencySet fds)
6 RelationSchemaIsIn3NF()
7 RelationSchemaIsInBCNF()
1 RelationInstance 2 Relation 3 FunctionalDependency 4 FunctioanlDependencySet 5 AttributeSet