Article,

The Implication Problem for Functional and Inclusion Dependencies is Undecidable.

, and .
SIAM J. Comput., 14 (3): 671-677 (1985)

Meta data

Tags

Users

  • @dblp

Comments and Reviews