Compiling ER Specifications into Declarative Programs

Bernd Braßel, Michael Hanus, Marion Muller

This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update…