Cart
[Home] [By Thread] [By Date] [Recent Entries]
* Tim Bray | | I kind of think that the thing people have in mind in this group | when they say "schema" is "expressions of syntactic constraints | which can be verified mechanically" or some such. * James K. Tauber | | So is a schema a function that maps a document to a truth value? I'd rather say that it is a definition of a set of documents, just as a formal language is usually considered to be the set of sentences that are well-formed in that language. The software that verifies a document could be called "a function that maps a document to a truth value", though. Mathematically, such software would perform an "element of"-test on the set of documents defined by the schema. -- "These are, as I began, cumbersome ways / to kill a man. Simpler, direct, and much more neat / is to see that he is living somewhere in the middle / of the twentieth century, and leave him there." -- Edwin Brock http://www.stud.ifi.uio.no/~larsga/ http://birk105.studby.uio.no/ xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@i... Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ To (un)subscribe, mailto:majordomo@i... the following message; (un)subscribe xml-dev To subscribe to the digests, mailto:majordomo@i... the following message; subscribe xml-dev-digest List coordinator, Henry Rzepa (mailto:rzepa@i...)
|
