A domain-specific language for defining static structure of database applications