Re: User-facing aspects of serializable transactions

On Thursday 28 May 2009 15:24:59 Heikki Linnakangas wrote:
> I don't think you need that for predicate locking. To determine if e.g
> an INSERT and a SELECT conflict, you need to determine if the INSERTed
> tuple matches the predicate in the SELECT. No need to deduce anything
> between two predicates, but between a tuple and a predicate.

That might the easy part.  The hard part is determining whether a SELECT and 
an UPDATE conflict.