Polynomial-time implication problems for unary inclusion dependencies
J. ACM, pp. 15-46, 1990.
unary inclusion dependencyembedded tuple-generating dependencyfunctionaland inclusion dependencyfull implicational dependencyfinite implicationMore(6+)
Unary inclusion dependencies are database constraints expressing subset relationships. The decidability of implication for these dependencies together with embedded implicational dependencies, such as functional dependencies, are investigated. As shown by Casanova et al., the unrestricted and finite implication problems are different for ...More
Full Text (Upload PDF)
PPT (Upload PPT)