theoretical database uniqueness check