A tiny language for specifying entity-relationship models