Helmut Jürgensen Dan A. Simovici Towards an abstract theory of dependency constraints in relational databases. 43-60 1987 41 Inf. Sci. 1 https://doi.org/10.1016/0020-0255(87)90004-1 db/journals/isci/isci41.html#JurgensenS87