이론적 보장을 갖춘 오버랩 집합 유사성 조인 | Synapse