Calculating Constraints on Relational Expressions

Anthony C. Klug. Calculating Constraints on Relational Expressions. ACM Trans. Database Syst., 5(3):260-290, 1980. [doi]