vocabulary RedundantDependency
;
/*
* Value Types */
Address
Id is written as Auto Counter; District Number is written as Signed Integer(32); Politician Id is written as Auto Counter; Postal Code is written as Signed Integer(32); State Or Province Id is written as Auto Counter;
/*
* Entity Types */
Address
is identified by its Id; Address
is assigned at most one Postal Code;
Politician is identified by its Id;
State Or Province is identified by its Id; Address
is in at most one State Or Province;
Legislative District is identified by District Number and State Or Province where
Legislative District has one District Number, Legislative District is for one State Or Province;
Address
is in at most one Legislative District; Politician represents at most one Legislative District,
Legislative District is represented by one Politician;
/*
* Constraints: */
Address
is in Legislative District
only if Address is in State Or Province and Legislative District is for State Or Province;