On 21 July 2017 at 20:00, Tom Lane <t...@sss.pgh.pa.us> wrote: >> I have, however, decided not to volunteer to be the one who works on >> that project. > > Me either. Any one of these things would require a *lot* of work in > order to have a coherent feature that provided useful behavior across > a bunch of different datatypes.
I had in the past idly thought about whether it would be possible to link in one of the various general purpose theorem proving libraries and use it to simplify the expressions. But I really have no idea how much work it would be to teach one about all the properties and constraints of our existing data types and operators or for that matter how easy it would be to figure out what theorems we want proven to be able to use an index. -- greg -- Sent via pgsql-hackers mailing list (firstname.lastname@example.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers