Re: teaching relational basics to people, questions

From: rpost <>
Date: Fri, 20 Nov 2009 20:18:56 +0000 (UTC)
Message-ID: <he6tjg$tlg$>

Sampo Syreeni wrote:

>To me it would seem much more natural to model time as a full
>continuum of precise moments in time, and to constrain such real life
>models using a finite (but otherwise unlimited cardinality) set of
>FOPL constraints, relying on the full linear order on top of the
>reals, on top. I.e. to model time using CW-complexes over the real
>line (i.e. finite unions of open, closed and semi-closed intervals of
>reals), in a fully discrete but also fully variable precision

Doesn't this make it a bit hard to predict how long queries on time-valued domains may take? The amount of time required for manipulating a value will greatly vary. My guess is that why Date and Darwen rule it out for this reason. Then again, Date defines the use of essentially arbitrary domains elsewhere.

Received on Fri Nov 20 2009 - 21:18:56 CET

Original text of this message