지식 그래프(Knowledge Graph)는 다양한 정보를 연결하여 복잡한 관계를 표현하는 강력한 도구이지만, 시간과 공간 개념이 결합된 시공간 지식 그래프를 구축하고 관리하는 것은 매우 복잡한 작업입니다. 기존에는 상태, 관측, 제약 조건 등 다양한 요소들이 여러 시스템에 분산되어 관리되어 왔고, 이들의 통합된 실행 계약(execution contract)은 외부에서만 정의될 수 있었습니다. 이러한 문제점을 해결하기 위해 동쉬 양(Dongxu Yang)과 지이 량(Ziyi Liang) 연구팀이 'PULSE'라는 새로운 실행 가능 계약 언어를 제안했습니다.
PULSE는 객체-프로세스-방법론(Object-Process-Methodology)에서 영감을 받아 개발된 언어로, 네 가지 운영 역할과 이들의 쓰기 효과(write effects)를 하나의 타입화된 런타임(typed runtime) 내에 통합합니다. 이는 증거 덮어쓰기 방지, 분기 격리, 다중 주체 타이머, 보호된 상태 변경, 그리고 시간과 공간에 따른 이벤트 순서 지정을 포함하는 계약을 구현하여 데이터의 무결성과 안전성을 보장합니다. 연구팀은 핵심 계산(core calculus)을 통해 효과 제한(effect-confinement) 보조정리와 여섯 가지 안전 속성을 증명했으며, Lean 4를 활용한 형식 검증(formal verification)과 37,440개의 생성된 시간 추적(temporal traces) 테스트를 통해 구현의 유효성을 입증했습니다.
PULSE의 등장은 시공간 지식 그래프 엔지니어링 분야에 중요한 진전을 가져올 것으로 기대됩니다. 복잡하게 얽힌 데이터를 일관되고 안전하게 관리할 수 있는 통합된 프레임워크를 제공함으로써, 재난 대응, 물류 최적화, 스마트 시티 관리 등 시간과 공간 정보가 필수적인 다양한 응용 분야에서 지식 그래프의 활용도를 높일 수 있습니다. 특히, 데이터의 신뢰성과 일관성이 중요한 산업에서 시스템 개발 및 유지보수 비용을 절감하고, 더 정확하고 신뢰할 수 있는 의사결정을 지원하는 데 기여할 것입니다.