Re: More on identifiers

David BL wrote:

>Getting back to the topic of my original post, what do you think of
>the idea of DVAs to avoid the need to label things?

I think your opening posting is spot on.

It clearly explains the motivation for abstract identities that also motivated the early-90s work Marshall refers to in his link, which initially went under the banner of "object-oriented database languages" (which, as you explained in another posting, is at odds with "true OO" in which objects are abstract machines, but it does agree with how OO is often used in practice, e.g. with treating UML class diagrams as data models), and was later continued under the banner of "semi-structured data".

So what I would ask is: how is your idea of a DVA different from the "object-oriented" logics and algebras invented in the early 90s?

-- 
Reinier