Equational Theories and Database Constraints

Equational Theories and Database Constraints Stavros S. Cosmadakis Paris C. Kanellakis 273-284 conf/stoc/STOC17 1985 STOC db/conf/stoc/stoc85.html#CosmadakisK85