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

The relational model is to data as automata theory is to programs?

  • To: xml-dev@l...
  • Subject: The relational model is to data as automata theory is to programs?
  • From: Mike Champion <mc@x...>
  • Date: Wed, 27 Aug 2003 08:47:08 -0700 (PDT)

automata theory
The "XML is kinda OK as a data interchange format but
inappropriate as a data model for large-scale
applications" megathread has inspired the following
brain fart.  How stinky is it? :-)

The relational model is to data as automata theory is
to programs.  That is, there is a well-understood
formal theory showing that all data can be represented
and manipulated using the operands and operators of
the relational model, just as there is a well-defined
formal theory showing that all effective procedures
can be modelled as Turing machines or Lambda calculus
programs, or whatever. That's all well and good, and a
staple of rigorous computer science education.  What's
different between the data and process worlds is that
the process people seem to have a good grasp on the
engineering realities:  There is certainly a large
domain in which formal automata are the "correct" way
to approach real problems (protocol definitions and
implementations come to mind, and parsers for certain
well-defined grammars), but there is a realization
that this is impractical as a universal software
engineering methodology.  There are, however, a number
of people who seem to be asserting that any database
application or DBMS system that doesn't fully and
exclusively support the relational model is somehow
broken -- in violation of well-understood "scientific"
truths.  

(I'm somehow reminded of the Skeptics Dictionary
definition of "scientism", which I think of as a
quasi-religious advocacy of the trappings of science
without an appreciation for its messy realities:
"Scientism, in the strong sense, is the
self-annihilating view that only scientific claims are
meaningful, which is not a scientific claim and hence,
if true, not meaningful. Thus, scientism is either
false or meaningless. ")

Forcing oneself to design a terabyte-scale
semi-structured document database with associated
metadata whose schema is sure to evolve using a pure
relational model strikes me like trying to design a
bridge using the mathematics of quantum physics; it's
no slur on Heisenberg's accomplishments to decline to
even think about it.  Likewise, it's no slur on Turing
to build a "tag soup" web browser without explicit
reference to formal automata, and its no slur on Codd
if one concludes that there is no direct, practical
way to apply his model to applications with complex,
evolving, partially-understood data requirements. 
XML, on the other hand, seems to have a set of
practically useful tools to use in those situations. 
When to use one approach and/or the other is something
we are learning about, not something we will prove by
deduction.

So, to echo what others have said, one could have a
sensible discussion on whether a specific database
application might be best approached via a pure
relational model, a native XML model, or some hybrid,
but arguing on the basis of pure theory or alleged
universal principles seems totally pointless.



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.