Effective hash table interface, implemented by dynamic-hashing