Mining conditional functional dependency rules on big data | Synapse