Hartmann Sven; Link Sebastian; Schewe Klaus-Dieter: Functional dependencies over XML documents with DTDs. In: Acta cybernetica, (17) 1. pp. 153-171. (2005)
Előnézet |
Cikk, tanulmány, mű
Hartmann_2005_ActaCybernetica.pdf Letöltés (224kB) | Előnézet |
Absztrakt (kivonat)
In this article an axiomatisation for functional dependencies over XML documents is presented. The approach is based on a representation of XML document type definitions (or XML schemata) by nested attributes using constructors for records, disjoint unions and lists, and a particular null value, which covers optionality. Infinite structures that may result from referencing attributes in XML are captured by rational trees. Using a partial order on nested attributes we obtain non-distributive Brouwer algebras. The operations of the Brouwer algebra are exploited in the soundness and completeness proofs for derivation rules for functional dependencies.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2005 |
| Kötet: | 17 |
| Szám: | 1 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 153-171 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38519/ |
| Kulcsszavak: | Számítástechnika, Nyelvészet - számítógép alkalmazása |
| Megjegyzések: | Bibliogr.: p. 170-171. ; ö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. 15. 11:55 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12758 |
 |
Tétel nézet |
