Roman Gross-Brunschwiler

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