Top-k string similarity search with edit-distance constraints | Synapse