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

Re: A schema defines a state space ... instances are sample st

  • From: Michael Kay <mike@saxonica.com>
  • To: "Costello, Roger L." <costello@mitre.org>
  • Date: Sun, 21 Aug 2016 18:14:00 +0100

Re:  A schema defines a state space ... instances are sample st
I think the concept of "state space" can be quite helpful when doing database-style modelling (the schema of a database describes the set of permitted states of the database, and each state of the database corresponds to a state of the real world).

But somehow this kind of thinking seems to be more useful when we are talking about mutable state. With databases, change (from one valid state to another) is of the essence. That's not so true with XML.

Also, XML documents are often messages: "here is what you need to know", rather than models of the state of the world at a point in time. That doesn't make the terminology wrong, it just makes it, in my view, a bit less useful.

(Things also get complicated when a database records history. One state of the database then captures a sequence of states of the real world, and we can easily get confused whether we are talking about the state of the database or the state of the world.)

Michael Kay
Saxonica

> On 21 Aug 2016, at 14:20, Costello, Roger L. <costello@mitre.org> wrote:
> 
> Hi Folks,
> 
> Here is a simple schema:
> 
> <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
>    <xs:element name="color">
>        <xs:simpleType>
>            <xs:restriction base="xs:string">
>                <xs:enumeration value="red" />
>                <xs:enumeration value="green" />
>                <xs:enumeration value="blue" />
>            </xs:restriction>
>        </xs:simpleType>
>    </xs:element>
> </xs:schema>
> 
> Here is an instance: <color>red</color>
> 
> Here is another instance: <color>green</color>
> 
> Terminology:
> 
> 1. The XML Schema defines a state space.
> 
> 2. The instances shown are sample states.
> 
> Do you agree with this terminology?
> 
> I am reading a book [1] on modeling and "state space, sample states" is the terminology that the book uses. It dawned on me that the terminology also applies to the XML realm.
> 
> /Roger
> 
> [1] Software Abstractions: Logic, Language, and Analysis by Daniel Jackson
> 
> _______________________________________________________________________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php




[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]


PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.