Enforcing Transitive Constraints in SQL
benchling.engineering