Equational Theories and Database Constraints

Abstract

The implication problem for database constraints is central in the fields of automated schema design and query optimization and has been traditionally approached with resolution-based techniques. We present a novel approach to database constraints, using equations instead of Horn clauses.