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

Re: Globbing versus Regular Expressions (was: Regular Associat

• To: xml-dev@l...
• Subject: Re: Globbing versus Regular Expressions (was: Regular Associations)
• From: james anderson <james.anderson@s...>
• Date: Mon, 5 Jan 2004 11:28:13 +0100
• In-reply-to: <200401050929.i059TgQG014611@a...>

On Saturday, Jan 3, 2004, at 20:26 Europe/Berlin, David Tolpin wrote:

> Hi,
>
> The idea is inspired by James Clark's approach to Clark's schema
> location approach for nXML,
> http://groups.yahoo.com/group/emacs-nxml-mode/message/259.
>
> I was going to implement it for my needs, but realized that a more
> consistent solution would be more appropriate.
...


On Monday, Jan 5, 2004, at 10:29 Europe/Berlin, David Tolpin wrote:

>> Sounds like you've invented a more verbose version of XPath 1.0.
>
> Almost so. With a few notes:
>
> - it is not me who invented it, Relax NG is an international standard;
>
> - it is not necessarily more verbose, there are cases when it is 
> significantly
>   more concise (or when it does not have an XPath equivalent);
>
> - it does a different thing: XPath is a language for addressing parts 
> of
>   a document, Relax NG, and the way it is used in ARX, the utility we 
> are discussing,
>   assesses that a document matches a regular pattern.
...


why limit this to locating a validation schema? why not follow it to 
the logical conclusion: a general processing model?

the pattern-directed schema locator is an instance of an operation
   schema-match ::=  (document X (pattern X uri) ) -> uri
which is hardwired into a process
   validate ::= (document x schema-match) -> (true + false)

if one generalizes schema-match to
   pattern-directed-op ::= (infoset X (pattern X transformer X 
pattern-directed-op)) -> (infoset X (pattern-directed-op + NIL))
where transformer may be, eg.
  ( ( -> infoset ) + ( infoset -> infoset ) )
and generalizes validate to
   process ::= (infoset X pattern-directed-op) -> pattern-directed-op

the result is a general pattern-directed processing framework in which 
the approach is "if it validates, then do this", rather than "do this, 
but first, make sure it's valid." sort of schematron with side-effects?

...

• Follow-Ups:
  • Re: Globbing versus Regular Expressions (was: RegularAssociations)
    • From: Peter Rodgers <pjr@1...>
  • Re: Globbing versus Regular Expressions (was: Regular Associations)
    • From: David Tolpin <dvd@d...>

• References:
  • Globbing versus Regular Expressions (was: Regular Associations)
    • From: David Tolpin <dvd@d...>

• Prev by Date: Globbing versus Regular Expressions (was: Regular Associations)
• Next by Date: Re: Globbing versus Regular Expressions (was: Regular Associations)
• Previous by thread: Globbing versus Regular Expressions (was: Regular Associations)
• Next by thread: Re: Globbing versus Regular Expressions (was: Regular Associations)
• Index(es):
  • Date
  • Thread