Lists Home |
Date Index |
On Mon, Aug 25, 2003 at 11:19:12AM -0400, pop3 wrote:
> The proofs for RM were there when Codd published. Nothing similar exists
> AFAIK for XML.
There are quite a few mathematical proofs relating to XML, and also
to XML's parent, SGML.
There has been work at the University of Finland, work at Bell Labs and
Lucent, work by Makoto Murata in Japan, and elsewhere.
If you are looking for a single set of rules that will tell you how to
apply XML to allfields of human endeavour, I cannot help you.
XML has a very different scope than a relational database.
And, of course, by no means all relational data is fully normalized
according to the theoretical model.
Theories of hedge and tree automota, of parsing, of trees in general
and their properties, are all very widespread in the literature,
together with papers showing exactly how this applies to XML.
Liam Quin, W3C XML Activity Lead, firstname.lastname@example.org, http://www.w3.org/People/Quin/