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

Re: Re: Notable declarative expressions?

• From: Thomas Passin <list1@tompassin.net>
• To: "xml-dev@lists.xml.org" <xml-dev@lists.xml.org>
• Date: Tue, 20 Dec 2016 12:57:24 -0500

John Cowan<johnwcowan@gmail.com>  writes:

>It's mostly a grammar, but not exclusively.  In particular, subtyping by
>extension and restriction are data-model-like features that have nothing to
>do with whether a particular document conforms to a particular grammar, as
>it is always possible to compile them out of the schema.

I hesitate to disagree, but using OO-inspired techniques as a concise
way to express multiple grammar rules doesn't mean the result isn't
still a grammar -- it's just like the use of metarules in GPSG, a
notational device.  The explicit grammar is expanded by the
interpretation/application of the metarules, producing an expanded
(implicit) grammar, which is in turn what is used to determine
language membership/schema validity.

• Follow-Ups:
  • Re: Notable declarative expressions?
    • From: Michael Kay <mike@saxonica.com>

• References:
  • Notable declarative expressions?
    • From: "Costello, Roger L." <costello@mitre.org>
  • Re: Notable declarative expressions?
    • From: John Cowan <johnwcowan@gmail.com>
  • Re: Notable declarative expressions?
    • From: u123724 <u123724@gmail.com>
  • Re: Notable declarative expressions?
    • From: John Cowan <johnwcowan@gmail.com>
  • Re: Notable declarative expressions?
    • From: ht@markup.co.uk (Henry S. Thompson)