ER 사양을 선언형 프로그램으로 컴파일하기

초록

본 논문은 선언형 프로그래밍 언어에서 고수준 데이터베이스 프로그래밍을 지원하기 위한 환경을 제안한다. 안전한 데이터베이스 업데이트를 보장하기 위해, 데이터베이스와 관련된 모든 접근 및 갱신 연산은 엔터티‑관계(ER) 모델의 고수준 기술에서 자동으로 생성된다. 우리는 ER 다이어그램을 선언형 언어인 Curry에 표현할 수 있는 방법을 제시하여, 다양한 도구가 해당 표현으로 변환될 수 있도록 하였다. 또한, 이 표현을 Curry 프로그램으로 변환하는 컴파일러를 구현했으며, 이를 통해 고수준 API 기반의 데이터베이스 접근 및 갱신 연산을 제공한다.

상세 요약

이 논문은 선언형 언어인 Curry를 데이터베이스 프로그래밍의 전면에 끌어올리는 시도를 통해, 기존 절차적 혹은 객체지향 기반의 데이터베이스 접근 방식이 가지고 있던 여러 문제점을 근본적으로 해결하고자 한다. 가장 큰 혁신은 ER 모델이라는 설계 단계에서 정의된 스키마 정보를 그대로 프로그램 코드로 자동 전환한다는 점이다. 전통적으로 ER 다이어그램은 설계 문서에 머무르거나, 별도의 ORM(Object‑Relational Mapping) 툴을 통해 코드와 매핑되는 과정에서 일관성 오류와 성능 저하가 빈번히 발생한다. 본 연구는 ER 다이어그램을 Curry의 데이터 타입 및 관계 정의로 직렬화함으로써, 설계와 구현 사이의 간극을 메우고, 설계 변경이 즉시 프로그램에 반영되도록 한다.

구현 측면에서 저자들은 두 단계의 파이프라인을 구축하였다. 첫 번째 단계는 다양한 ER 모델링 툴(예: ERwin, PowerDesigner)에서 내보낸 XML 혹은 XMI 형태의 다이어그램을 파싱하여 Curry 내부 표현으로 변환하는 ‘ER‑to‑Curry 변환기’이다. 이 변환기는 엔터티, 속성, 식별자, 관계(1:1, 1:N, M:N) 등을 Curry의 algebraic data type 및 관계 연산자로 매핑한다. 두 번째 단계는 변환된 Curry 표현을 기반으로 자동으로 CRUD(Create, Read, Update, Delete) API와 트랜잭션 관리 코드를 생성하는 ‘컴파일러’이다. 생성된 코드는 Curry의 논리 변수와 비결정성 연산을 활용해 선언적 질의를 가능하게 하며, 데이터베이스 무결성 제약(키, 외래키, 도메인 제약)도 자동으로 검사한다.

안전성 보장은 특히 주목할 만하다. 모든 업데이트 연산은 컴파일 타임에 ER 모델로부터 도출된 제약 조건에 의해 검증되며, 런타임 시에도 Curry의 타입 시스템과 논리 변수 바인딩 메커니즘을 통해 불일치가 발생하면 즉시 오류를 반환한다. 따라서 개발자는 복잡한 SQL 문을 직접 작성하거나, 수동으로 무결성 검사를 구현할 필요가 없어진다.

하지만 몇 가지 한계점도 존재한다. 첫째, Curry 자체가 아직 산업 현장에서 널리 채택되지 않은 언어이므로, 실제 프로젝트에 적용하기 위한 생태계 구축이 필요하다. 둘째, 현재 구현은 관계형 데이터베이스에 국한되어 있으며, NoSQL 혹은 하이브리드 스토어와의 연동은 미지원이다. 셋째, 자동 생성된 API가 복잡한 비즈니스 로직을 충분히 표현할 수 있는지는 추가적인 사용자 정의 확장이 필요하다. 마지막으로, ER‑to‑Curry 변환 과정에서 모델링 툴마다 차이가 나는 메타데이터(예: 애노테이션, 사용자 정의 타입) 처리에 대한 표준화가 부족하다.

향후 연구 방향으로는 (1) Curry 기반 데이터베이스 프레임워크를 다른 선언형 언어(예: Haskell, Mercury)와 비교·통합하여 언어 독립적인 메타 모델을 설계하고, (2) 트랜잭션 격리 수준과 병행 제어를 선언형 방식으로 명시할 수 있는 메커니즘을 도입하며, (3) 자동 생성된 API에 대한 성능 최적화와 쿼리 플래너 연동을 통해 대규모 데이터셋에서도 효율적인 실행을 보장하는 방안을 모색할 수 있다. 전반적으로 이 연구는 고수준 설계와 저수준 구현을 일관된 선언형 파이프라인으로 연결함으로써, 데이터베이스 애플리케이션 개발의 생산성과 안전성을 크게 향상시킬 잠재력을 보여준다.