Modeling Database Tables in Alloy