functional dependency violation detection