Keys and Armstrong databases in trees with restructuring

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

[thumbnail of Sali_2008_ActaCybernetica.pdf]
Előnézet
Cikk, tanulmány, mű
Sali_2008_ActaCybernetica.pdf

Letöltés (298kB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Rovatcím: Regular papers
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2008
Kötet: 18
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 529-556
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38525/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 554-556. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 16. 15:43
URI: http://acta.bibl.u-szeged.hu/id/eprint/12833
Bővebben:
Tétel nézet Tétel nézet