Keys and Armstrong databases in trees with restructuring

Sali, Attila and Schewe, Klaus-Dieter: Keys and Armstrong databases in trees with restructuring. Acta cybernetica, (18) 3. pp. 529-556. (2008)

[img] Cikk, tanulmány, mű
Sali_2008_ActaCybernetica.pdf

Download (298kB)

Abstract

The definition of keys, antikeys, Armstrong-instances are extended to complex values in the presence of several constructors. These include tuple, list, set and a union constructor. Nested data structures are built using the various constructors in a tree-like fashion. The union constructor complicates all results and proofs significantly. The reason for this is that it comes along with non-trivial restructuring rules. Also, so-called counter attributes need to be introduced. It is shown that keys can be identified with closed sets of subattributes under a certain closure operator. Minimal keys correspond to closed sets minimal under set-wise containment. The existence of Armstrong databases for given minimal key systems is investigated. A sufficient condition is given and some necessary conditions are also exhibited. Weak keys can be obtained if functional dependency is replaced by weak functional dependency in the definition. It is shown, that this leads to the same concept. Strong keys are defined as principal ideals in the subattribute lattice. Characterization of antikeys for strong keys is given. Some numerical necessary conditions for the existence of Armstrong databases in case of degenerate keys are shown. This leads to the theory of bounded domain attributes. The complexity of the problem is shown through several examples.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2008
Volume: 18
Number: 3
Page Range: pp. 529-556
ISSN: 0324-721X
Language: angol
Heading title: Regular papers
Uncontrolled Keywords: Természettudomány, Informatika
Additional Information: Bibliogr.: p. 554-556.; Abstract
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2018. Jun. 05. 14:38
URI: http://acta.bibl.u-szeged.hu/id/eprint/12833

Actions (login required)

View Item View Item