On Sat, Mar 23, 2013 at 1:50 AM, Bertrand Janin <b@janin.com> wrote:
> Tom is right, this would be an optimization for a corner case, I noticed this
> when running a generated script for a batch update that wasn't given a ton of
> attention. The BEFORE UPDATE trigger will work great.
If you know the app, just tweak its one query:
    UPDATE demo
    SET value = some_value
    WHERE id = 1 AND value != some_value;
ChrisA