Modeling Database Tables in Alloy
bytes.zone