DB: add HashSet maker, fix #168