Re: Categorization of Predicates

From: Angus Monro <ajmonro_at_ingennia.com.au>
Date: Wed, 06 Nov 2002 18:36:59 +1100
Message-ID: <3DC8C69B.AB7CC0F6@ingennia.com.au>

How about this:

bar_gteq(x,y) := the colour of juice made from x and y is orange. foo(x) := the colour of juice made from x foo_gteq(a,b) := the combination of colour a and colour b is orange.

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))
>
> --
> Posted via http://dbforums.com
Received on Wed Nov 06 2002 - 01:36:59 CST