Weak functional dependencies on trees with restructuring

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...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Sali Attila
Schewe Klaus-Dieter
Dokumentumtípus: Cikk
Megjelent: 2011
Sorozat:Acta cybernetica 20 No. 2
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
doi:10.14232/actacyb.20.2.2011.5

Online Access:http://acta.bibl.u-szeged.hu/12912

Hasonló tételek