Despite the very nice theories, the situation described in the OP just couldn't have happened that way. If 'eq' says the strings are equal, they will be equal -- it is not possible that the database can 'prove' otherwise. I suggest that something has gone wrong with the gathering of evidence.