Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies

Abstract

It is shown that a subclass of subset dependenoes (that does not include all the embedded multwalued dependenoes) has a complete axlomatlzation consisting of reflexivity and transltivity rules As a result, it is shown how to test implications of embedded muluvalued dependencies under some restricted conditions. © 1982, ACM. All rights reserved.