On Fri, Jul 11, 2003, Alexander R. Pruss wrote:
> Currently we do a nice binary search for ids when looking for a record.  
> But we can do a little better than that.

Sure, but do we really *have to*, i.e. will you even notice the
difference? Somehow I doubt the time to find a record is a major
factor...

/Mike

_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev

Reply via email to