Formal Systems for Tuple and Equality Generating Dependencies

Catriel Beeri, Moshe Y. Vardi. Formal Systems for Tuple and Equality Generating Dependencies. SIAM Journal on Computing, 13(1):76-98, 1984.

Abstract

Abstract is missing.