Formal semantics of step expressions

• From: Stijn Vansummeren <stijn.vansummeren@luc.ac.be>
• Date: Thu, 26 Feb 2004 17:08:07 +0100
• To: www-ql@w3.org
• Message-Id: <200402261708.09078.stijn.vansummeren@luc.ac.be>

Could someone please enlighten me what the result of the following "axis ... 
of ..." judgement should be?

axis child::  of
     element weight of type xs:integer {
       42 of type xs:integer
     }
  => ?

My intuition is that this should be text {"42"}. If this is so, could someone 
please point me to the part of the formal semantics where this conversion is 
defined?

Thanks,
--Stijn Vansummeren
University of Limburg
Belgium

Received on Thursday, 26 February 2004 11:14:11 UTC