Aktuelles

Reakkreditierung der Studienrichtung Wirtschaftsinformatik


Alle Neuigkeiten ansehen.


Campusplan

campusplan_image

Unser Standort befindet sich hier.




On the Formal Properties of Transitive Inheritance in Databases

Autoren: M. Schrefl, M. Stumptner
Paper: Schr92a (1992)
Zitat: Information Sciences, Vol. 66, No. 1-2, Elsevier Science B. V. (North-Holland), Amsterdam, ISSN 0020-0255, pp.63-90, 1992.
Ressourcen: Kopie  (Senden Sie ein Email mit  Schr92a  als Betreff an dke.win@jku.at um diese Kopie zu erhalten)
BibTeX


Kurzfassung:

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.