. "[AD93AAE19E04]" . "The creation, maintenance and disposal of tree fragments during XQuery execution form a significant issue in the design of XQuery processors. The problem is further complicated by the definition of node identity which violates the functional nature of the XQuery language. This paper presents a novel mathematical model of XQuery execution that reflects temporary tree construction and manipulation, including navigation. Using this model as reference, an efficient algorithm of static analysis is presented that determines the level of information required at a particular place of the XQuery program. As a side effect, the algorithm also decides on the ordered/unordered context as defined by the XQuery language. Based on this algorithm, the amount of information stored during the execution as well as the complexity of operations may be significantly reduced." . . . . . . . "The creation, maintenance and disposal of tree fragments during XQuery execution form a significant issue in the design of XQuery processors. The problem is further complicated by the definition of node identity which violates the functional nature of the XQuery language. This paper presents a novel mathematical model of XQuery execution that reflects temporary tree construction and manipulation, including navigation. Using this model as reference, an efficient algorithm of static analysis is presented that determines the level of information required at a particular place of the XQuery program. As a side effect, the algorithm also decides on the ordered/unordered context as defined by the XQuery language. Based on this algorithm, the amount of information stored during the execution as well as the complexity of operations may be significantly reduced."@en . "367447" . . . "Extending; Datalog; Cover; XQuery"@en . "PONT s.r.o., Se\u0148a, Slovakia" . "1"^^ . "11320" . . "RIV/00216208:11320/08:00101265" . . "Roz\u0161\u00ED\u0159en\u00ED Datalogu k modelov\u00E1n\u00ED XQuery"@cs . "Extending Datalog to Cover XQuery" . . "2008-01-01+01:00"^^ . "1"^^ . . "Jesenn\u00E1 5, 040 01 Ko\u0161ice, Slovakia" . . "Jesenn\u00E1 5, 040 01 Ko\u0161ice, Slovakia" . . "Extending Datalog to Cover XQuery"@en . . "P(1ET100300419), Z(MSM0021620838)" . "Roz\u0161\u00ED\u0159en\u00ED Datalogu k modelov\u00E1n\u00ED XQuery"@cs . "RIV/00216208:11320/08:00101265!RIV09-AV0-11320___" . "6"^^ . "Bedn\u00E1rek, David" . . "Information Technologies - Applications and Theory" . "Roz\u0161\u00ED\u0159en\u00ED Datalogu k modelov\u00E1n\u00ED XQuery, [http://ulita.ms.mff.cuni.cz/~bednarek/pdf/Bednarek-ITAT2008.pdf]"@cs . . . "Extending Datalog to Cover XQuery" . "978-80-969184-9-2" . "Extending Datalog to Cover XQuery"@en .