Student tutors for the course Data Modelling wanted (winter term 2021/22)

IT-Project Data Souvereignty in winter termin 2021/22

Business Intelligence: Washing Gold in Times of Information Overload

See all news.



You can find us here.

On the Formal Properties of Transitive Inheritance in Databases

Authors: M. Schrefl, M. Stumptner
Paper: Schr92a (1992)
Citation: Information Sciences, Vol. 66, No. 1-2, Elsevier Science B. V. (North-Holland), Amsterdam, ISSN 0020-0255, pp.63-90, 1992.
Resources: Copy  (In order to obtain the copy please send an email with subject  Schr92a  to


The paper investigates transitive inheritance relationships, represented formally by transitive inheritance dependencies (TIDs), between (sequences of) attributes of a relational scheme, e.g., part and subpart. The study of TIDs reveals a simple complete axiomatization for the implication problem, which is shown to be NP-complete. The interaction of TIDs with functional dependencies (FDs) is investigated, leading to the following main results: TIDs and FDs considered together imply new TIDs, but no new FDs. Furthermore, only longer TIDs, i.e., TIDs that contain more attributes, but not shorter ones, are implied. The membership problem for TIDs and FDs is decidable although the implication problem for FDs and TIDs together has no k-ary axiomatization. Sound and complete decision procedures are given for the membership problem for TIDs alone as well as for TIDs and FDs.