The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language.

Jan Flokstra, Maurice van Keulen, Jacek Skowronek

Browse the full SIGMOD paper archive.