Re: Categorization of Predicates
From: Jan Hidders <hidders_at_REMOVE.THIS.uia.ua.ac.be>
Date: 6 Nov 2002 14:05:19 +0100
Message-ID: <3dc9138f_at_news.uia.ac.be>
Date: 6 Nov 2002 14:05:19 +0100
Message-ID: <3dc9138f_at_news.uia.ac.be>
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