> Or, better, persuade the app to label the value "
public.push_guid
" since that is the column's type...a type you haven't defined for us. If you get to add explicit casts this should be easy...but I'm not familiar with the framework you are using.
push_guid was a CHARACTER(36) column. I ended up converting it to CHARACTER VARYING(36).
Index is now being used and performance is as expected.
Thanks a lot
Meike