← 지오버스시스템관리연구본부

데이터베이스지식시스템센터

PostgreSQL/PostGIS 공간 데이터베이스 최적화, Neo4j 지식그래프, InfluxDB·TimescaleDB 시계열 저장소 등 고성능 관계형·공간·그래프 데이터베이스 시스템을 구축·운영하며, 고급 인덱싱과 쿼리 최적화, 시맨틱 검색·온톨로지 지원을 담당한다.

인프라클라우드운영센터 데이터베이스지식시스템센터 AIOps자동화센터 사이버보안컴플라이언스센터 응용·시뮬레이션운영센터 메타거버넌스·인터페이스센터 소프트웨어공학개발센터

연구분야 14

관계형 데이터모델링·정규화·SQL 질의언어 기초

🗂️ 관계형 데이터모델링·정규화·SQL 질의언어 기초

관계형 데이터모델링은 데이터베이스 스키마를 타입화된 테이블(릴레이션)의 집합으로 설계하는 분야로, 행들은 오직 속성값의 공유를 통해서만 서로 연관되며, 어떤 스키…

데이터베이스 인덱싱·해싱·접근방법

🗃️ 데이터베이스 인덱싱·해싱·접근방법

데이터베이스 인덱싱·접근방법 설계는 데이터베이스 엔진이 테이블의 모든 행을 훑지 않고도 점질의나 범위질의 조건을 만족하는 행을 찾아낼 수 있게 해 주는 보조적인 …

공간·다차원 인덱싱(PostGIS 지리데이터베이스)

🗺️ 공간·다차원 인덱싱(PostGIS 지리데이터베이스)

공간·다차원 인덱싱은 점·선·다각형 같은 기하 객체에 대한 범위질의·최근접이웃질의·위상질의를 전체 테이블 스캔 없이 처리하도록 접근방법을 설계하는 분야로, 어떤 …

그래프이론 기반 그래프데이터베이스(Neo4j 등)

🕸️ 그래프이론 기반 그래프데이터베이스(Neo4j 등)

이 분야는 정점·간선·레이블·다항관계로 이루어진 그래프와 하이퍼그래프의 수학적 형식화, 그리고 경로·연결성·완전그래프 같은 특수 그래프 부류에 관한 조합론적 이론…

객체지향·시맨틱 데이터모델링

🧩 객체지향·시맨틱 데이터모델링

객체지향·시맨틱 데이터모델링은 도메인 개체를 상태(속성)와 행동(메서드)을 함께 묶은 타입화된 객체로 표현하고, 이를 상속으로 연결된 클래스·서브클래스 계층으로 …

형식의미론·모델이론 기반 온톨로지공학

🧠 형식의미론·모델이론 기반 온톨로지공학

온톨로지공학은 한 도메인의 클래스·속성·추론규칙에 대한 기계검사 가능한 기술을 구축하는 분야로, 대개 웹온톨로지언어(OWL)로 표현되며, 그 정확성은 모델이론적 …

트리플기반 지식표현(RDF/SPARQL 논리적 기초)

🔗 트리플기반 지식표현(RDF/SPARQL 논리적 기초)

이 분야는 사실을 (파리, 수도이다, 프랑스)와 같은 기본적인 주어-술어-목적어 진술, 즉 RDF 트리플로 표현하는 방법과, 그런 트리플로 이루어진 그래프패턴을 …

전문검색 평가·정보검색

🔍 전문검색 평가·정보검색

전문검색 평가는 자유텍스트를 색인하는 시스템—각 용어를 그것이 포함된 문서에 대응시키는 토큰화와 역색인을 통해—을 설계하고, 정확한 구조적 일치가 아니라 질의에 …

벡터유사도검색·최근접이웃 방법론(FAISS 등)

📐 벡터유사도검색·최근접이웃 방법론(FAISS 등)

벡터유사도검색은 질의벡터에 대해 고차원 임베딩 공간에서 거리 또는 유사도 척도상 가장 가까운 k개의 데이터포인트를 찾아내는 방법으로, 텍스트·이미지·개체 임베딩을…

시계열데이터베이스·확률과정분석

📈 시계열데이터베이스·확률과정분석

이 분야는 센서 판독값·모니터링 지표·금융 틱과 같은 시간태그가 부여된 측정값을 InfluxDB· TimescaleDB 같은 전용 시스템에 저장·압축·통계모델링하…

동시성제어·트랜잭션·분산스토리지

🔒 동시성제어·트랜잭션·분산스토리지

동시성제어는 다수의 트랜잭션이 공유된 관계형·그래프·분산 데이터레이크 스토리지를 동시에 읽고 쓰면서도 직렬실행으로는 나올 수 없는 결과를 만들어내지 않도록 하는 …

대규모 지식그래프 구축·온톨로지공학

🌐 대규모 지식그래프 구축·온톨로지공학

이 분야는 오랜 기간에 걸쳐 기여된 이질적인 사실·규칙으로부터 일관된 대규모 지식그래프와 상위온톨로지를 큐레이션·통합·유지하는 방법론, 그리고 그런 지식베이스가 …

연역데이터베이스·논리기반 그래프질의언어

🧮 연역데이터베이스·논리기반 그래프질의언어

연역데이터베이스는 저장된 사실과 선언적 규칙의 집합에 대한 논리적 추론으로 질의에 답하며, 대개 데이터로그(Datalog)로 표현된다. 데이터로그는 완전한 프롤로…

데이터웨어하우징·대규모 일괄데이터처리의 기원

🏛️ 데이터웨어하우징·대규모 일괄데이터처리의 기원

데이터웨어하우징은 여러 운영시스템의 사실을 주기적으로 추출·변환·적재(ETL)하여, 관계형 데이터베이스가 튜닝되어 있는 단건 레코드 트랜잭션 조회가 아니라 합계·…