Page 1 of 1

[DB2] Semantiek Paper LiXQuery

Posted: Sun Jan 18, 2009 6:13 pm
by Phil
Hallo!

Kan iemand uitleggen hoe ge die semantische regels moet interpreteren.

Bv. kan iemand eens uitleggen we ze bedoele me Query (Rules [1] and [2]) van deel 6.2? :)

Merci!

Posted: Sun Jan 18, 2009 7:04 pm
by Robbe
eerst wordt de functie in de environment gestoken, waarna de daardoor bekomen environment wordt gebruikt om de expressie achter de functiedeclaratie te evalueren.

Posted: Sun Jan 18, 2009 7:43 pm
by Phil
Ok.. Hier snap ik nog niets van hoor :oops:
Heb je geen betere uitleg? :)

merci.. ;p

Posted: Sun Jan 18, 2009 11:32 pm
by Robbe
Phil wrote:Ok.. Hier snap ik nog niets van hoor :oops:
Heb je geen betere uitleg? :)

merci.. ;p
eerst wordt de environment En uitgebreidt met een mapping van de functienaam op de formele argumenten s1, ..., sm en een mapping van de functienaam op de body e. Deze uitgebreide environment noemen we dan En'. Daarna wordt in dezelfde XMLStore St en de uitgebreide environment En' de expressie e' uitgevoerd, wat een 2e XMLStore St' met waarde v geeft.

Zo duidelijker? ;)

PS: ik zat niet in die les, dus ik weet niet hoe hij het heeft uitgelegd...