[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

XQuery types was Re: Yet another plea for XUpdate...

• To: "Dare Obasanjo" <dareo@m...>,"Patrick Lehti" <Patrick.Lehti@i...>,<uche.ogbuji@f...>
• Subject: XQuery types was Re: Yet another plea for XUpdate...
• From: "Jonathan Borden" <jborden@a...>
• Date: Sat, 4 May 2002 22:26:01 -0400
• Cc: <xml-dev@l...>
• References: <8BD7226E07DDFF49AF5EF4030ACE0B7E05573D08@r...>

Dare Obasanjo wrote:
>
> Amusingly enough, my day job requires me to be familiar with both
aforementioned documents.  So what exactly was your point again?

I think XQuery semantics is terrific, albeit a bit technical. I consider it
to define a perfectly reasonable and adequate for the intended purpuse, type
system, which as is happens is very similar to the RELAXNG regular
expression syntax, i.e. XQuery types are RELAXNG regular expressions, and
both use XML Schema for simple (non-XML) datatypes.

Typing and validation are closely related. Consider a type as an (usually
unbounded) set whose members are those pieces of XML that are 'valid' with
respect to the type specification.

That's exactly my point.

Jonathan

>
> Dare Obasanjo wrote:
>
> > Secondly, XQuery doesn't really have a type system
> > because it uses W3C XML Schema which is a validation
> > system.
>
> Gasp. As punishment for saying such things you should be forced to read
> http://www.w3.org/TR/query-semantics/
>
> Jonathan
>

• Follow-Ups:
  • Re: XQuery types was Re: Yet another plea for XUpdate...
    • From: Dare Obasanjo <kpako@y...>

• References:
  • RE: Yet another plea for XUpdate (was New XSLT, XPath, and XQuery drafts - but still no update?)
    • From: "Dare Obasanjo" <dareo@m...>

• Prev by Date: Call for example of server enabled for XML multiple representations
• Next by Date: Re: Out of topic or out of interest?
• Previous by thread: RE: Yet another plea for XUpdate (was New XSLT, XPath, and XQuery drafts - but still no update?)
• Next by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Index(es):
  • Date
  • Thread