Alignement of database and constraints with specs version 0.3