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

Re: [schema] which assertions can't you express ?

• To: Philippe Poulard <Philippe.Poulard@s...>
• Subject: Re: [schema] which assertions can't you express ?
• From: Christian Nentwich <christian@s...>
• Date: Wed, 8 Sep 2004 14:36:13 +0100
• Cc: xml-dev@l...
• In-reply-to: <413EF2DF.8070707@s...>
• Organization: Systemwire
• References: <413EF2DF.8070707@s...>
• Reply-to: Christian Nentwich <christian@s...>

Philippe,

how about this:
  - The grammar based languages provide a regular grammar
  - Schematron provides boolean assertions that can express
  constraints between distant parts of the document tree
  - CLiX (http://www.systemwire.com/xlinkit/clix.html) provides first
  order assertions that can express constraints between distant parts
  of the document tree, or between multiple documents our xlinkit
  implementation
  - Programming languages provide turing completeness on top of that.

There is a hierarchy of expressiveness here: schemas -> schematron ->
CLiX -> Programing Language.

At the last step, you drop off the declarative level and start
hacking.

Relationships between multiple data sources are orthogonal to that:
you can still classify approaches by expressiveness between multiple
data sources.

Christian

> hi,

> An XML Schema is the expression of some assertions expected on an XML
> document class. Assertions on XML documents ensure that applications
> will process them without causing faults. Expressing assertions with
> schemas ensure that applications developpers will spend most of their
> time in designing data process and few of their time in controlling them.

> Any schema technology is designed to cover numbers of assertions 
> expressed. However, if think that the existing schema technologies (DTD,
> W3C XML Schema, Relax NG, Schematron) can't express some constraint types.

> I have some ideas of what these constraint types might be, but I'd like
> to know, helped by your own experiences, which kind of useful assertions
> can't be expressed with these schema technologies (so frustrating).

> For example :
> -i'd like that the number of occurrences of an element is equal to a
> value of a given attribute (Schematron could do that)
> -i'd like that the value of a given attribute exists in my RDBMS
> -etc...

> Thanks in advance

• References:
  • [schema] which assertions can't you express ?
    • From: Philippe Poulard <Philippe.Poulard@s...>

• Prev by Date: Re: Advanced XML editor for refactoring XSDs
• Next by Date: Re: [schema] which assertions can't you express ?
• Previous by thread: Re: [schema] which assertions can't you express ?
• Next by thread: RE: [schema] which assertions can't you express ?
• Index(es):
  • Date
  • Thread