W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2007

Re: slotted notation -summary

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 09 Jan 2007 16:45:51 +0100
Message-ID: <45A3B8AF.1020306@ilog.fr>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Michael Kifer wrote:

> No, I said just the opposite! What you want is wrong.
>
> When I said "You want to map ..." you misunderstood me.
> This expression was supposed to explain what you should really want, if you
> saw the issue clearly.

Oh, ok, I get it. Btw, I certainly do not claim to see the issue clearly 
(which is why I try to get a clearer view :-).

So, what you say is that we should do, if anything is:
>>>
>>>[...] to map the relational slotted notation to the OO slotted notation
>>>- not the other way around. Relational slotted notation implies that object
>>>Ids are inaccessible, while OO notation assumes that they are. So, you can
>>>map OO to relational slots in a certain sense.

I do not understand what you mean.

Here is what I understood. It would help me if you pinpointed where I am 
wrong:

The relational slotted notation p(slot1->val1,...,slotn->valn) says that 
the tuple (val1 ... valn) belongs to relation p, where val1 plays role 
slot1 etc. The same expression, if it were in OO slotted notation, would 
mean that object p has values vla1 to vlan in slots slot1 to slotn: so, 
it certainly says that val1 to valn are related in the proper roles 
(thus implying the relational notation); it also says that the relation 
is embodied in object p, which the relational notation does not say 
(thus the relational notation does not imply the OO notation).

If this is (or, maybe, if this were) correct, one could transform from 
OO slotted notation to relational, but not the reverse. Hence my proposal.

You tell me that it is wrong: can you help me understannd why?

Christian
Received on Tuesday, 9 January 2007 15:45:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:35 GMT