Functional dependencies over XML documents with DTDs
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, whi...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2005
|
| Sorozat: | Acta cybernetica
17 No. 1 |
| Kulcsszavak: | Számítástechnika, Nyelvészet - számítógép alkalmazása |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12758 |
| LEADER | 01500nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta12758 | ||
| 005 | 20220615115515.0 | ||
| 008 | 161015s2005 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Hartmann Sven | |
| 245 | 1 | 0 | |a Functional dependencies over XML documents with DTDs |h [elektronikus dokumentum] / |c Hartmann Sven |
| 260 | |c 2005 | ||
| 300 | |a 153-171 | ||
| 490 | 0 | |a Acta cybernetica |v 17 No. 1 | |
| 520 | 3 | |a 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. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Nyelvészet - számítógép alkalmazása | ||
| 700 | 0 | 1 | |a Link Sebastian |e aut |
| 700 | 0 | 1 | |a Schewe Klaus-Dieter |e aut |
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12758/1/Hartmann_2005_ActaCybernetica.pdf |z Dokumentum-elérés |