Prove the Unity.

관계형 SQL, 텍스트 검색, 벡터 유사도 검색, 그래프 쿼리를 하나의 수학적 프레임워크 위에 통합한 트랜잭션 지원 PostgreSQL 호환 데이터베이스 엔진.

Every Paradigm. One Engine.

모든 쿼리 패러다임이 동일한 대수적 구조인 포스팅 리스트와 불리언 연산으로 컴파일됩니다. 별도의 어댑터나 엔진이 필요하지 않습니다.

Relational SQL

ACID 트랜잭션과 Join, Aggregation, Window Function, CTE, Subquery를 완벽하게 지원하는 SQL. PostgreSQL 와이어 프로토콜 호환.

Full-Text Search

BM25 및 Bayesian BM25 스코어링과 WAND/BMW 최적화. 13종 토크나이저, 15종 토큰 필터, 맞춤법 검사, 자동 완성. 사용자 정의 토크나이저 및 토큰 필터 지원.

Vector Search

HNSW 기반 근사 최근접 이웃 검색. Cosine, Inner Product, Euclidean Distance 메트릭. 확률적 점수 보정 지원.

Graph Queries

Apache AGE 호환 그래프 순회를 SQL 테이블 함수로 구현. BFS, DFS, 최단 경로, 패턴 매칭 지원.

Core Innovations

UQA — Unified Query Algebra

Cognica의 엔진은 UQA라는 단일 수학적 구조 위에 구축되었습니다. 하나의 포스팅 리스트 추상화로 SQL, 텍스트 검색, 벡터, 그래프, 공간 패러다임을 불리언 대수로 자유롭게 합성합니다. deep_fusion()으로 신경망까지 표현 가능합니다.

UQA 문서 살펴보기

Bayesian BM25 — Probabilistic Scoring

BM25의 점수를 베이지안 추론으로 보정된 확률 [0, 1]로 변환합니다. 어휘, 벡터, 신경망 신호를 로그 오즈(log-odds) 공간에서 안정적으로 융합할 수 있습니다. BEIR zero-shot 기준 NDCG@10 41.67% (BM25 대비 +6.28pt), 보정 오류 최대 77% 감소.

Adopted by
Apache LuceneMTEB BaselineVespa.aitxtai
Bayesian BM25 살펴보기

프로덕션을 위해 설계

800K+C++23 코드 라인
<1msJIT 컴파일 타임
2-10x쿼리 속도 향상
100TB단일 노드 용량

유연한 배포

애플리케이션이 필요한 곳 어디서나 Cognica를 실행할 수 있습니다.

서버 모드

PostgreSQL 와이어 프로토콜을 지원하는 독립형 데이터베이스 서버로 배포. PostgreSQL을 지원하는 모든 언어와 도구에서 연결 가능.

내장 모드

SQLite3나 DuckDB처럼 애플리케이션에 라이브러리로 직접 내장. 네트워크 오버헤드 없이 단일 프로세스로 동작.

최신 블로그

데이터베이스 내부 구조, 검색 알고리즘, 시스템 아키텍처에 대한 기술 심층 분석.
Research

Sigmoid는 설계 결정이 아니라 수학적 정리입니다. BM25 점수를 확률로 변환하는 유일하게 유효한 함수가 왜 sigmoid인지를 보이고, Robertson의 확률적 순위 원리(PRP)가 50년 만에 어떻게 완성되었는지를 설명합니다.

by Jaepil Jeong | 2026-02-23

Tech

현대 검색 시스템에서 어휘 매칭과 의미적 이해를 결합하는 것은 근본적인 과제입니다. Cognica Database에서 BM25 점수를 보정된 확률로 변환하여 텍스트 검색과 벡터 검색 결과의 근본적인 결합을 가능하게 하는 확률적 랭킹 프레임워크를 어떻게 구축했는지 살펴봅니다.

by Jaepil Jeong | 2026-02-01

Tech

Copy-and-Patch JIT 개발과 디버깅을 실용적으로 만드는 필수 인프라를 소개합니다. 검증을 위한 다중 아키텍처 디스어셈블러와 크로스 플랫폼 테스트 및 디버깅을 위한 소프트웨어 CPU 에뮬레이터를 살펴봅니다.

by Jaepil Jeong | 2026-01-19

Copyright (c) 2023-2026 Cognica, Inc.