On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem

Barry E. Jacobs, Alan R. Aronson, Anthony C. Klug. On Interpretations of Relational Languages and Solutions to the Implied Constraint Problem. ACM Trans. Database Syst., 7(2):291-315, 1982. [doi]