Re: Mixing OO and DB

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Mon, 18 Feb 2008 02:16:24 +0100
Message-ID: <47b8dc10$0$14345$e4fe514c_at_news.xs4all.nl>


Dmitry A. Kazakov wrote:
> mAsterdam wrote:

>> ...Which primitive elements does your formal system have?

>
> Value, type, variable, operation.
>
>>>>> ... May I translate data into a different
>>>>> representation and then erase the original record? 
>>>>> Will data still be there?
>>>> Iff it conveys the same facts as the original record, sure.
>>> OK, that means that data = facts + record medium of:
>>>
>>> D = (F, R)
>> Guessing about your notation as D denotes Data, F denotes Facts, R is 
>> the requirement that the fact is recorded, R is just 1.
...
>>> It also states that
>>>
>>> F1 = F2 => D1 = D2
>> Almost. Within a shared set of observations,
>>
>>   F₁=F₂ ⇔ D₁=D₂

>
> Even stronger, also.

Disclosure: I expected you to try to refute this. Received on Mon Feb 18 2008 - 02:16:24 CET

Original text of this message