Kernekoncepter
본 논문은 LINQ라는 선형 복잡도의 조인 프로토콜을 제안하며, 이를 확장하여 선형 복잡도로 모든 free-connex 쿼리를 지원할 수 있음을 보여준다.
Resumé
본 논문은 안전한 다자간 계산(MPC) 모델에서 선형 복잡도의 쿼리 처리 기법을 제안한다.
주요 내용은 다음과 같다:
- LINQ: 선형 복잡도의 조인 프로토콜
- 기존 MPC 조인 프로토콜은 O(n log n) 복잡도를 가지지만, LINQ는 O(n+m) 복잡도로 선형 복잡도를 달성
- 이를 위해 해시-정렬-병합 조인 기법을 사용하여 일관된 정렬을 효율적으로 수행
- 확장성: free-connex 쿼리 지원
- LINQ는 select-join-aggregate 쿼리 중 free-connex 쿼리 전체를 선형 복잡도로 지원
- 중간 조인 결과의 비밀 공유 형태를 효율적으로 변환하는 기법을 개발
- 실용성 향상
- 쿼리 계획 최적화 기법을 통해 상수 요소를 최소화
- 구현 및 실험 결과, 기존 최신 기법 대비 큰 성능 향상 달성 (예: 100만 튜플 출력 쿼리를 LAN 환경에서 100초 내 완료)
Statistik
입력 크기 n과 출력 크기 m이 주어질 때, LINQ의 실행 시간과 통신량은 O(n+m)이다.
기존 MPC 기법들은 O(n log n + m) 또는 O(n log2 n + m)의 복잡도를 가진다.
Citater
"LINQ는 MPC 쿼리 처리를 실용성 있게 만든다."
"LINQ는 free-connex 쿼리 전체를 선형 복잡도로 지원하는 최초의 프로토콜이다."