News

Habilitation of Assist.-Prof. Mag. Dr. Christoph Georg Schütz


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

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 dke.win@jku.at)
BibTeX


Abstract:

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.