Re: What databases have taught me

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Sat, 24 Jun 2006 02:20:42 GMT
Message-ID: <_j1ng.1367$pu3.36731@ursa-nb00s0.nbnet.nb.ca>

Keith H Duggar wrote:
> Bob Badour wrote :
>

>>Arguably, [OO] is the right tool for constructing large
>>unpredictable state machines out of small predictable
>>state machines, which is the task for which it was
>>originally invented.

>
> You know, strangely, the depth and importance of that
> statement (and that fact) didn't truly hit me, even though
> you have posted it before, until reading it just now.
>

>>However, even for expressing simulations, I have found the
>>relational model and predicate calculus even more
>>effective than OO.
>>
>>For instance, I recently posted in c.d.t the bulk of a
>>relational solution for simulating simple digital
>>circuits. I have previously created a similar simulation
>>using OO and the relational solution is smaller, clearer
>>and more elegant.

>
> Yes that was an interesting example and thank you again for
> it. It was also when you taught me the phrase "expression
> bias" which is helpful. I recall your code was essentially
> Tutorial D. If one wanted to execute that code or deliver a
> stand-alone app that executed it, what options would you
> recommend?

I don't know any of the purported implementations of Tutorial D well enough to recommend any of them. To implement that example, one would need a Tutorial D that supports subtypes and/or union types -- unless one wanted to do anything as 'useless' as simulate a circuit of all NAND gates or all NOR gates. ;)

Does Alphora still support subtypes? I thought I read somewhere they abandoned some part of their type system.

Does Rel? I don't know. Received on Fri Jun 23 2006 - 21:20:42 CDT