Lists Home |
Date Index |
That is somewhat like saying take the infoset specification
apart and analysze how the individual information items in
combination enable different kinds of provable properties
given some set of axioms and operations. Sounds like fun
but I suspect a rigorous result will require some serious
resources and that is why I would expect this from the
academic community presenting papers at conferences, not
from the developer community on a mail list where as soon
as the frustration goes past a certain threshhold, someone
will derail into Godel and use strange loops to
admonish all about the fruitlessness of universal proofs.
Proofs are nice to have, but all a real programmer needs is
to make it run then make it run faster. ;-)
From: Rick Marshall [mailto:email@example.com]
following several discussions we've had lately, mostly on relational
models and document management i'm going to float the idea - which may
be covered elsewhere, please redirect me if appropriate - that having a
taxonomy of xml may help us to understand what forms, and when are good
for different problems.
if we take numbers as an analogy (and that's all it is, there are plenty
of others) they can be divided into sets - integer, real, rational,
irrational, complex, etc and we increase our understanding and use of
numbers by developing theorems that cover the different sets.
it seems to me that xml is as diverse as numbers or any similar grouping
and that by focusing on well defined sets of xml structures and their
properties we can get the theorems to improve our use and understanding.
eg one set might be xml with tags only - no attributes; another might be
xml that is constrained to two levels; etc
by understanding the properties and operators that are valid on these
sets we can then see the analogies to other technologies such as
relational models, markup, etc.