Selective inheritance of attribute values in relational databases

Selective inheritance dependencies, or SIDs, are introduced to capture formally the inheritance of attribute values between tuples of any relation over a given relation scheme. It is shown that the membership problem, i.e., the question whether a SID is implied by a set of other SIDs, is NP-complete. Furthermore, a complete axiomatization for the implication problem of SIDs is given. Then, SIDs and functional dependencies (FDs) are studied together, SIDs and FDs together imply no other FDs than those already implied by the FDs alone. Although simple axiomatizations exist for FDs and SIDs separately, no k-ary axiomatization, i.e., no axiomatization in which every rule is k-ary for some fixed k, can fully describe the interaction between FDs and SIDs.