Title: Implementation of constraint database systems using a compile-time rewrite approach