Text this: Equational Theories and Database Constraints