병렬 프로그래밍을 위한 비절차적 언어 설계와 표현력 분석

초록

본 논문은 비절차적 데이터 집합 정의 체계를 기반으로 병렬 프로그램을 기술하는 언어 모델을 제안한다. 네 가지 기본 정의 형태(열거, 속성, 귀납, 함수 이미지)를 정형화하고, 이들의 표현력과 알고리즘적 복잡도를 비교·분석한다. 또한 이름 기반 집합 정의가 프로그램의 기능적 완전성과 유연성을 어떻게 보장하는지 이론적으로 증명한다.

상세 분석

논문은 먼저 데이터 쌍(d, v)를 기본 단위로 하는 형식 시스템을 도입하고, 집합 정의를 네 가지 유형(α‑열거, β‑속성, γ‑귀납, δ‑함수 이미지)으로 구분한다. 각 형태는 이름 스키마 S_j t와 선택자 집합 U에 의해 구체화되며, 선택자 계층은 변수 간 의존성을 명시적으로 제한한다. 이러한 구조는 “닫힌” 정의 시스템과 “열린” 시스템을 구분하고, 내부·외부 이름의 역할을 명확히 함으로써 정의의 독립성을 확보한다.

표현력 비교에서는 정의 형태가 생성하는 연산자 클래스(데이터 집합을 입력으로 받아 새로운 집합을 출력하는 연산자)를 기준으로 한다. 한 클래스가 다른 클래스를 포함하면 전자는 후자보다 강력하다고 정의한다. 논문은 α, β, γ, δ 네 형태가 각각 제거될 경우 표현력이 감소함을 증명하고, 특히 p(x, S)와 같은 확장된 술어를 도입하면 기존 클래스보다 엄격히 강한 표현력을 얻을 수 있음을 보인다.

복잡도 분석에서는 표준 해석(J)이라는 최소 다이어그램을 정의하고, 이를 통해 정의 시스템이 생성하는 집합의 최소성(minimality)과 유일성을 논한다. Lemma 1과 그 증명은 두 시스템이 동일한 이름에 대해 서로 다른 최소 해석을 가질 경우 표현력이 다름을 보이며, 이는 비절차적 정의가 실행 경로 선택에 따라 알고리즘적 비용이 크게 변동할 수 있음을 시사한다.

마지막으로 프로그램 클래스의 “함수적 완전성”을 논의한다. 이름 기반 집합 정의를 이용한 프로그램은 임의의 결정론적 함수와 동일한 결과를 생성할 수 있음을 보이며, 데이터 이벤트 제어(선택자 계층)를 통해 병렬 실행 시 데이터 의존성을 명시적으로 관리한다. 이는 비절차적 언어가 병렬성 확보와 동시에 높은 추상화 수준을 유지할 수 있음을 이론적으로 뒷받침한다.