This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F08%3A00101265%21RIV09-AV0-11320___/
n13http://localhost/temp/predkladatel/
n12http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/ontology/domain/vavai/
n22https://schema.org/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F08%3A00101265%21RIV09-AV0-11320___
rdf:type
n9:Vysledek skos:Concept
dcterms:description
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. Rozšíření Datalogu k modelování XQuery, [http://ulita.ms.mff.cuni.cz/~bednarek/pdf/Bednarek-ITAT2008.pdf]
dcterms:title
Extending Datalog to Cover XQuery Extending Datalog to Cover XQuery Rozšíření Datalogu k modelování XQuery
skos:prefLabel
Rozšíření Datalogu k modelování XQuery Extending Datalog to Cover XQuery Extending Datalog to Cover XQuery
skos:notation
RIV/00216208:11320/08:00101265!RIV09-AV0-11320___
n3:aktivita
n16:P n16:Z
n3:aktivity
P(1ET100300419), Z(MSM0021620838)
n3:dodaniDat
n8:2009
n3:domaciTvurceVysledku
n11:7313136
n3:druhVysledku
n10:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
367447
n3:idVysledku
RIV/00216208:11320/08:00101265
n3:jazykVysledku
n4:eng
n3:klicovaSlova
Extending; Datalog; Cover; XQuery
n3:klicoveSlovo
n6:XQuery n6:Datalog n6:Cover n6:Extending
n3:kontrolniKodProRIV
[AD93AAE19E04]
n3:mistoKonaniAkce
Jesenná 5, 040 01 Košice, Slovakia
n3:mistoVydani
Jesenná 5, 040 01 Košice, Slovakia
n3:nazevZdroje
Information Technologies - Applications and Theory
n3:obor
n14:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n18:1ET100300419
n3:rokUplatneniVysledku
n8:2008
n3:tvurceVysledku
Bednárek, David
n3:typAkce
n7:CST
n3:zahajeniAkce
2008-01-01+01:00
n3:zamer
n19:MSM0021620838
s:numberOfPages
6
n12:hasPublisher
PONT s.r.o., Seňa, Slovakia
n22:isbn
978-80-969184-9-2
n13:organizacniJednotka
11320