search

oyarzou / clicl

Automatically exported from code.google.com/p/clicl
Other
0 stars 0 forks source link

Weblog: Constraint Inference #3

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 thinr...@gmail.com on 20 Sep 2012 at 6:13

GoogleCodeExporter commented 9 years ago

Original comment by thinr...@gmail.com on 20 Sep 2012 at 6:15