abhabongse / relationalcalculus-alloy

Analyzing database relational calculus schemata and queries using MIT's Alloy tools
Apache License 2.0
1 stars 0 forks source link