Integrity Constraints and the Relational Derivative
buttondown.com