Re: Canonical DB

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Fri, 23 Jun 2006 16:48:45 +0200
Message-ID: <449bfec1$0$31656$e4fe514c_at_news.xs4all.nl>


Dmitry A. Kazakov wrote:
> mAsterdam wrote:
>

>>Googling for 'graphs RM' gives
>>http://www.rm.com/primary/Products/Product.asp?cref=PD1112
>>;-), substituting 'relational' for 'RM' made me stumble on
>>http://www.cs.york.ac.uk/cvpr/relational.php

>
> I'm not sure that the latter is really "relational" in the sense of RM. The
> algebra of the relations between matched instances of pattern atoms is not
> necessary RA. [That's all I can derive from the text, I might be wrong.]
> The approach itself is common for text pattern matching, as well.

The sentence "In the relational paradigm, patterns are formed not only by the nature of the objects which make the pattern, but also by their relationships to each other." is suspect (to put it mildly).

Both these links just happened to be the one on top in the Google search anyone interested in the answer to "Uh... So in RM there just *aren't* graphs or trees? " could have done. Below are some I happen to know which may be somewhat more difficult to find.

>>If you don't mind getting your hands dirty:
>>http://technology.amis.nl/blog/?p=1160 mentions
>>some Oracle specifics, in 
>>http://www.dbazine.com/oracle/or-articles/tropashko4
>>Vadim Tropashko discusses two ways "to model a tree
>>in the database". His new book might be on the way
>>to the stores by now, but I did not find a reference.
>>Joe Celko wrote 
>>http://www.amazon.com/gp/product/1558609202/102-4421784-8373769?v=glance&n=283155

>
>
> Reading such things one should always ask himself: what was lost?

And: what was added?

> Any tree built in any way is a tree.
> Once you have it, it will not fully obey RA or
> whatever framework you used. That precisely means: an otherwise legal
> operation applied to a tree may kill it.

I am not a tree-specialist.

> It is so with all complex structures.
[snip integers]

A correct model would have the constraints in place to preserve the invariant of the structure while allowing all valid modifications. How to do that is out of my league.

I tried modeling the C3 MRO relationally but haven't found a solution (or the conviction that it can't be done) yet.

http://www.python.org/2.3/mro.html

and (background)

http://www.webcom.com/haahr/dylan/linearization-oopsla96.html#C3-line

It is a nice (and IMHO very useful) challenge. Any takers? Received on Fri Jun 23 2006 - 16:48:45 CEST

Original text of this message