Why eliminate TypeRef from prime,quantifier function?

Hi.
I think in some conditions,the TypeRef can be met when computing prime or 
quantifier of a type.For example:
   $a,/book/author
If the context bind $a to a type(which is a typeRef):"type AUTHOR",and the 
path expression /book/author results type(which is a itemType):"element 
author {...}",how about the expression sequence wrote before if we want to 
compute the prime() of that exprSeq?
One way may solute this problem I think,is to expand the TypeRef before 
computing prime().
But here comes anthor question:if the TypeRef is defined recursively,what 
should we do?

Thank you for your time and consideration,I'm waiting any comments.
Phenix Shieh


_________________________________________________________________
Ãâ·ÑÏÂÔØ MSN Explorer: http://explorer.msn.com/lccn/

Received on Monday, 5 August 2002 06:47:23 UTC