20858: Enable 'exists' filter to use index 20858-jsonb-exists
authorPeter Amstutz <peter.amstutz@curii.com>
Tue, 15 Aug 2023 20:41:01 +0000 (16:41 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Tue, 15 Aug 2023 20:41:01 +0000 (16:41 -0400)
commitc1298836a79c1f3734c95f87f11615daf70806e3
treeab372fcadedfd9584c23a907ab89d3a8dbe3f332
parent00ff9cf6b638f78df82fb5e15ca6788c8d095f40
20858: Enable 'exists' filter to use index

See comment in services/api/db/migrate/20230815160000_jsonb_exists_functions.rb

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
services/api/db/migrate/20230815160000_jsonb_exists_functions.rb [new file with mode: 0644]
services/api/db/structure.sql
services/api/lib/record_filters.rb