Mangle: Datalog 기반 오픈소스 연역 데이터베이스 프로그래밍 언어
2025-08-18
Mangle은 연역 데이터베이스 프로그래밍을 위한 Datalog을 확장한 오픈소스 프로그래밍 언어입니다. 집계, 함수 호출, 선택적 형식 검사 등의 기능을 지원하여 여러 데이터 소스의 데이터를 통합적으로 표현하고 쿼리하며, 도메인 지식을 모델링할 수 있습니다. Mangle은 애플리케이션에 쉽게 통합할 수 있는 Go 라이브러리를 제공합니다. 재귀적 규칙을 지원하며, 예시를 통해 log4j 취약성의 영향을 받는 소프트웨어를 찾는 방법과 그룹화 및 집계를 수행하는 방법을 보여줍니다. 성능을 일부 희생하지만, 사용 편의성과 확장성으로 강력한 도구가 됩니다.
개발
연역 데이터베이스