On Thu, May 29, 2003 at 12:17:33AM +0100, Mike Taylor wrote:
> > Date: Wed, 28 May 2003 17:30:57 -0400
> > From: Ray Denenberg <[log in to unmask]>
> >
> > > > dc.creator none "sanderson dovey levan"
> > >
> > > But we can't express that in Type-1.
> >
> > And we can express 'all' and 'any' in type-1?
>
> Yes.
>         dc.title all "elements programming"
> is equivalent to
>         @and @attr 1=4 elements @attr 1=4 programming
>
> > In any case, if you can say "any of these words" it follows that you
> > can express "none of these words" using boolean and-not.
>
> Not so.  For
>         dc.title none "elements programming"
> You'd want to use
>         @andnot @andnot SOMETHING @attr 1=4 elements @attr 1=4 programming
> but we have no SOMETHING in the Type-1 query that allows us to
> generate a list of all the records in the database.  Put another way,
> Type-1 has binary ANDNOT operator, but no unary NOT operator -- which
> is what you'd need to map Rob's proposed "none" relation to.
Well we do have always matches, don't we? That can be used for that
SOMETHING. The problem with SOMETHING is that it covers
everything and therefore, on many systems, is difficult to
implement.

-- Adam

>
>  _/|_    _______________________________________________________________
> /o ) \/  Mike Taylor  <[log in to unmask]>  http://www.miketaylor.org.uk
> )_v__/\  "Historically, Taunton is part of Minehead already" --
>          Monty Python.
>
> --
> Listen to my wife's new CD of kids' music, _Child's Play_, at
>         http://www.pipedreaming.org.uk/childsplay/

--
Adam Dickmeiss  mailto:[log in to unmask]  http://www.indexdata.dk
Index Data      T: +45 33410100           Mob.: 212 212 66