On Conditional Chase Termination
The chase procedure was initially developed for testing logical implication between sets of dependencies, for determining equivalence of database instances known to satisfy a given set of dependencies, and for determining query equivalence under database constrains. More recently the chase has been used to compute representative target solutions in data exchange. Intuitively, the data exchange problem consists of transforming a source database into a target database, according to a set of source to target dependencies describing the mapping between the source and the target. The set of dependencies may also include target dependencies, that is, constraints over for the target database. The source and the target schemas are considered to be distinct.