Weblog: Constraint Inference

[GoogleCodeExporter]

Weblog does not currently move constraints from DB schemas onto Form schemas.

More precisely, once we ensure that each servlet handles 1 form, we can move 
constraints back and forth between the DB/Session/Cookie/Other signatures to 
the Form signatures (i.e. by analyzing the updates to see how the input 
schemas, output schemas, and storage schemas interact.

The benefit is modularity: declaring constraints in one place ensures the 
constraints are enforced everywhere. 

Original issue reported on code.google.com by [email protected] on 20 Sep 2012 at 6:13