Catriel Beeri, Moshe Y. Vardi. Formal Systems for Tuple and Equality Generating Dependencies. SIAM Journal on Computing, 13(1):76-98, 1984.
@article{BeeriV84:1, title = {Formal Systems for Tuple and Equality Generating Dependencies}, author = {Catriel Beeri and Moshe Y. Vardi}, year = {1984}, researchr = {https://researchr.org/publication/BeeriV84%3A1}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {13}, number = {1}, pages = {76-98}, }