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

davis.jeffrey_at_gmail.com wrote:

> 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.

Strictly speaking, it is incorrect to speak of a value having a predicate. A value is or is part of a proposition used to instantiate a predicate. See http://www.earlham.edu/~peters/courses/log/terms3.htm

Data types etc. are properties of values, and predicates identify required properties. In a sense, a relvar is a named predicate.

I apologize for misspeaking earlier.

>>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.