Major modifications to the models, adding relational integrity and triggers to handle range constraints.