Re: An object-oriented network DBMS from relational DBMS point of view

On Mar 19, 11:27 am, "Alfredo Novoa" <alfred..._at_gmail.com> wrote:
> On 19 mar, 15:00, "Daniel" <danielapar..._at_gmail.com> wrote:
>
> > Consider the lowly record, a smple aggregate of fields. You would
> > agree that it's meaningful to talk about creating an instance of a
> > record type,
>
> If the instance is a variable then I agree, if not, I disagree.

I hope you agree that the concept of an instance of an ADT is absolutely clear. It can be defined axiomatically, there's a literature about that, so we know exactly what it means. The only issue as far as I can see is how we relate the term "instance" to the terms "value" and "variable". I think it's generally stated that an "instance" is a value. Do you disagree?

Maybe you can clarify, is "value" typically taken as a primitive concept, or can it be defined axiomatically?

Thanks,
Daniel Received on Mon Mar 19 2007 - 16:48:45 CET