Some utility functions for calculating functional dependencies in relational database theory