Weak functional dependencies on trees with restructuring

Sali Attila; Schewe Klaus-Dieter: Weak functional dependencies on trees with restructuring. In: Acta cybernetica, (20) 2. pp. 285-329. (2011)

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

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

Absztrakt (kivonat)

We present an axiomatisation for weak functional dependencies, i.e. disjunctions of functional dependencies, in the presence of several constructors for complex values. The investigated constructors capture records, sets, multisets, lists, disjoint union and optionality, i.e. the complex values are indeed trees. The constructors cover the gist of all complex value data models including object oriented databases and XML. Functional and weak functional dependencies are expressed on a lattice of subattributes, which even carries the structure of a Brouwer algebra as long as the union-constructor is absent. Its presence, however, complicates all results and proofs significantly. The reason for this is that the union-constructor causes non-trivial restructuring rules to hold. In particular, if either the set- or the the union-constructor is absent, a subset of the rules is complete for the implication of ordinary functional dependencies, while in the general case no finite axiomatisation for functional dependencies exists.

Mű típusa: Cikk, tanulmány, mű
Rovatcím: Regular papers
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2011
Kötet: 20
Szám: 2
ISSN: 0324-721X
Oldalak: pp. 285-329
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38532/
DOI: 10.14232/actacyb.20.2.2011.5
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 326-329. ; ö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:24
Utolsó módosítás: 2022. jún. 17. 14:09
URI: http://acta.bibl.u-szeged.hu/id/eprint/12912
Bővebben:
Tétel nézet Tétel nézet