for encoding/decoding database identifiers to/from strings