삼각형 기반 논리로 구현하는 불변성 공간·시공간 질의

초록

본 논문은 2차원 공간과 시공간 데이터를 삼각형(이동 삼각형) 집합으로 표현하고, 삼각형을 기본 단위로 하는 1차 논리 체계(‘삼각형 논리’)를 제안한다. 이 논리는 모든 아핀 변환에 대해 불변인 질의를 기술할 수 있으며, 기존 실수 위 1차 논리(FO(+ ,× ,< ,0,1))의 아핀‑제네릭 부분과 동등한 표현력을 가진다. 또한 질의의 안전성·유한성 판단 문제와 이동 삼각형으로의 확장을 논의한다.

상세 분석

논문은 먼저 공간 데이터베이스에서 원점·단위 선택에 따른 비호환성을 해소하기 위해 ‘아핀 불변성(affine‑invariance)’을 목표로 한다. 실제 GIS·컴퓨터 그래픽스에서 다각형을 삼각형으로 분할(TIN, 메쉬)하는 관행을 활용해, 삼각형 자체가 두 개의 임의 삼각형 사이에 유일한 아핀 변환이 존재한다는 수학적 사실을 기본 전제로 삼는다. 이를 바탕으로 변수의 도메인을 ‘삼각형’(정점 3개의 2차원 좌표 튜플)으로 정의하고, 삼각형 간 관계를 기술하는 원시(predicate)들을 설계한다. 핵심 원시 중 하나는 ‘점 사이(Between)’ 관계이며, 기존 연구에서 이 관계만으로도 아핀‑제네릭 쿼리를 전부 표현할 수 있음을 이용한다.

삼각형 논리(FO({Triangle}))는 FO({Between})와 동치임을 보이기 위해 두 단계의 변환을 제시한다. 첫째, 삼각형을 정점 3개의 집합으로 펼치는 ‘can_tr’ 사상으로 삼각형 관계를 실수 튜플 관계(arity 6k)로 변환한다. 둘째, 이 실수 튜플 관계에 대해 기존 FO(+ ,× ,< ,0,1) 언어의 아핀‑제네릭 부분과 동등함을 증명한다. 따라서 삼각형 논리는 ‘아핀‑제네릭’이라는 의미에서 기존 1차 논리와 완전한 표현력을 공유한다.

안전성(safety) 문제에 대해서는 두 가지 결과를 제시한다. (1) 임의의 삼각형 질의가 유한 입력에 대해 유한 출력을 반환하는지를 판별하는 문제는 일반적으로 **불가능(undecidable)**하다. 이는 FO 논리의 전통적인 안전성 문제와 동일한 복잡도를 갖는다. (2) 반면, 특정 입력 데이터베이스에 대해 출력이 ‘유한 개의 삼각형 합집합’ 형태로 표현 가능한지는 **결정 가능(decidable)**하며, 이를 판단하는 알고리즘을 제시한다. 이는 실제 GIS 시스템에서 결과를 시각화하거나 저장할 때 실용적인 의미를 가진다.

시공간 확장에서는 각 정점에 시간 좌표 τ를 부여한 ‘이동 삼각형(moving triangle)’을 도입한다. 이 경우 삼각형 논리를 (R²×R)³에 대한 사상으로 일반화하고, 아핀 변환 그룹을 공간·시간 모두에 적용한다. 논문은 공간 경우와 동일하게 표현력 동등성을 증명하고, 시간에 따라 변형되는 지오메트리를 다루는 새로운 질의 언어의 가능성을 열어준다.

전체적으로 이 연구는 (1) 삼각형을 기본 데이터 단위로 삼아 아핀 변환에 강건한 질의 체계를 제공하고, (2) 기존 실수 기반 1차 논리와 동등한 표현력을 갖추며, (3) 안전성·유한성 판단 문제에 대한 이론적 한계와 실용적 해결책을 제시한다는 점에서 의미가 크다. 특히 GIS·시공간 데이터베이스 설계 시 ‘단위·좌표 변환에 대한 사전 정규화’를 피하고, 질의 자체가 불변성을 보장하도록 하는 새로운 패러다임을 제시한다.