Re: [XQueryX] reuse MathML Content Markup to represent XQuery in XQueryX

> Neither seems to have any connection with the question in the subject
> line.
> 

Sorry, it is a spin off thread without changing the title because the
gmail don't let me to do so.... :(

On Wed, 9 Mar 2005 00:42:31 GMT, David Carlisle <davidc@nag.co.uk> wrote:
> 
> 
> > Is XQuery powerful enough to query mathmatic information which markup
> > by MathML Content Markup.
> 
> yes although a language designed for querying the xml structure is
> clearly not optimal for doing such queries. You'd like to be able to
> query modulo many relations that are not explict in the XML, such as
> commutativity of certain operators.
> 
> > For example, if someone store two matrix (A - 3x5 and B- 5x4) by using
> > MathML Content Markup. Is XQuery power enough to produce the output a
> > 3x4 matrics C in MathML Content Markup that  C = A x B ?
> 
> Yes it could do that, which might be an interesting exercise, but it
> would be easier (and probably more generally useful) if you wrote a
> query or xslt to convert them to maple or mathematica (or similar
> systems) for which matrix multiplication over mathematical types is a
> primitive operation. If your Content mathml matrices are over the
> integers coding the rules for a product would be simple enough in
> xquery, but if the matrices are over some other number field such as the
> complex numbers or a prime field, or just had symbolic entries, you'd
> also have to encode the underlying arithmetic in Xquery which would
> start to become a pain.
> 
> > How about predicate logic, If I have two element of content E and F
> > E use MathML content Markup to express
> > { (x) | -2 <= x <=3}
> > and
> > F use MathML content Markup to express
> > { (y) | -4 <= y <=5}
> > Is XQuery power enogh to perform a G = E & F
> > to express a MathML content markup which express
> > { (x, y) | ( -2 <= x <=3) && (-4 <= y <=5)}
> 
> this just involves syntactic re-arrangement of the terms (as you have
> demonstrated) so doesn't require any computation and could fairly easily
> be done in xquery.
> 
> >
> > ?
> 

> David
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________
> 


-- 
Frank Yung-Fong Tang
譚永鋒
Šýšţém Årçĥîţéçţ

Received on Wednesday, 9 March 2005 02:12:28 UTC