Re: Categorization of Predicates

Neo555 wrote:
>
>Originally posted by --Celko--
>> >> .. Has someone already categorized predicates before? <<
>>
>> What you described are algebraic properties of relationships ...
>>
>
>Could someone give me an example of the following predicate category
>using common things and verbs?
>Monotonic: bar_gteq(x,y) ==> foo_gteq(foo(x),foo(y))

bar_gteq(x,y) = "x and y are siblings in a tree" foo(x) = "parent node of x"
foo_gteq(x,yu) = "x and y are equal"

• Jan Hidders