Re: Just one more anecdote

Marshall Spight wrote:
>>Just on the off chance that perhaps someday you will want to do an
>>implementation with a different model than the one you currently use, I
>>suggest that it really is a good idea to aim first to prepare a model
>>without regard for the target implementation. Just a suggestion, of
>>course.
>
> I hate to get all Fabian-Pascally on you, but the thing about this
> is that the RM is based on set theory.

well everything is based on set theory really! I'd suggest a better
statement is to say the relational model is based on first-order
predicate logic. In the sense that the things in the traditional
presentation of first-order predicate logic (propositions and
predicates) corrrespond nicely with things in the relational model.

Paul.
.

Relevant Pages

  • Re: Future of Programming?
    ... > The Relational Model as the direct application of Set Theory and ... CLAIRE uses static type checking and dynamic type checking. ... CLAIRE programming features Sets, Relations, and Rules. ...
    (comp.object)
  • Re: Godels NBG and realism
    ... I've had the chance to briefly review a set theory ... > textbook founded on Godel's NBG system. ...
    (sci.math)
  • Re: Godels NBG and realism
    ... Robin Chapman wrote: ... I've had the chance to briefly review a set theory ...
    (sci.math)
  • Re: Why use relational tables in OO (please just take a look inside)
    ... > Relational theory is merely an extension of set theory. ... > theory is incompatible with OO, then OO is obviously worthless. ... It is the query-based construction view of the relational model that is ...
    (comp.object)
  • Re: Datasets vs. OOP
    ... of accumulated knowledge in math and logic. ... application of Predicate Logic and Set Theory. ... The Relational Model is a very solid mathematical framework. ...
    (microsoft.public.dotnet.general)