Chandra, Ashok K. and Vardi, Moshe Y. (1985): The Implication Problem for Functional and Inclusion Dependencies is Undecidable


Title: The Implication Problem for Functional and Inclusion Dependencies is Undecidable
Author(s): Chandra, Ashok K. and Vardi, Moshe Y.
Year: 1985
Journal: SIAM Journal on Computing
Month: aug
Volume: 4
Number: 3
Pages: 671-677

Concepts