Re: predicate, constraints, header, relvar, and relation

On Apr 20, 5:26 pm, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
> Both. The data types of the attributes are part of the predicates of
> both the variable and the value. Generally speaking, the most specific
> type of any attribute of the value will be a subtype of the declared
> type of the variable.

Thanks. This makes it much more clear.

> It certainly makes sense to draw attention to the important properties
> of a literal in a given context. I could see someone wanting to overload
> the constraint concept to achieve this goal, but I think that would be a
> mistake.
>

Ok, I see.

Thanks for the insightful reply! Received on Sat Apr 21 2007 - 21:31:21 CEST