Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Example of expression bias?

Re: Example of expression bias?

From: Tony D <tonyisyourpal_at_netscape.net>
Date: 20 Jun 2006 19:20:57 -0700
Message-ID: <1150856457.036122.114430@i40g2000cwc.googlegroups.com>


J M Davitt wrote:
> CJD calls them type constraints; they define the set of values
> that constitute the type. Types are named, so the sets are named.
>
> The only thing I'd argue about in Cimode's definition is that
> operators are part of the data type. In fact, D+D make the point
> that the declaration of operators is orthogonal to the declaration
> of types -- given that the types are extant before the operators.
>

The issue I had with the long-form of Cimode's definition is that he takes domains to be separate from types; IIRC, to Cimode, domains are sets of all possible values, and a given type restricts which of the possible values from the domain are acceptable for that type (I'm sure he'll correct me if I have misrepresented his position in any way). I stuck with the type simply defining the acceptable values either explicitly by enumeration or by equations to describe the set. I'm open to convincing, but at the moment I'm not. (I have an argument that says a particular value belongs to a single type only, but that might kick off and it's now 3:20am, so I'm off to bed :) Received on Tue Jun 20 2006 - 21:20:57 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US