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

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

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

⚙️ 지오버스시스템관리연구본부🖥️ AI·컴퓨팅과학연구본부🔬 기초과학연구본부⚡ 지능형지구물리탐사연구본부🛢️ 자원에너지공학연구본부🌍 응용지구과학연구본부💼 경제정책미래전략연구본부🎓 교육훈련인재양성연구본부🚀 혁신사업화국제협력연구본부
인프라클라우드운영센터데이터베이스지식시스템센터AIOps자동화센터사이버보안컴플라이언스센터응용·시뮬레이션운영센터메타거버넌스·인터페이스센터소프트웨어공학개발센터
에드거 F. 코드🔑
센터장
에드거 F. 코드
센터장(데이터베이스지식시스템센터)
💡 관계형 데이터베이스 모델 발명자
페르 브린치 한센🔑
1938–2007
페르 브린치 한센
연구원(동시성제어·트랜잭션·분산스토리지)
💡 모니터(monitor) 동시성제어 구조를 창안하고 RC 4000 다중프로그래밍/마이크로커널 시스템을 설계 — 현대 데이터베이스·분산스토리지 엔진의 트랜잭션 격리 및 동시접근제어의 토대
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
허먼 홀러리스🔑
1860–1929
허먼 홀러리스
연구원(데이터웨어하우징·대규모 일괄데이터처리의 기원)
💡 1890년 미국 인구조사 자료를 집계·교차분석하기 위한 천공카드 전기기계식 집계기를 발명 — 대량 레코드를 요약통계로 일괄 집계하는 관행을 창시, 오늘날 데이터웨어하우스 ETL·OLAP 집계의 직접적 기원
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
🧑‍🔬
🔑
1914–1997
시릴 클레버던
연구원(전문검색 평가·정보검색)
💡 크랜필드 실험(Cranfield experiments)을 주도하여, 전문검색·정보검색 시스템 평가에 쓰이는 표준 테스트컬렉션 방법론(질의·적합성판정·정밀도-재현율)을 확립
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
🧑‍🔬
🔑
1926–2002
클로드 베르주
연구원(그래프이론 기반 그래프데이터베이스(Neo4j 등))
💡 그래프·하이퍼그래프·완전그래프를 체계화한 현대 그래프이론·조합론의 창시자 중 한 명으로, 오늘날 Neo4j 등 그래프데이터베이스가 쓰는 프로퍼티그래프 모델의 수학적 토대를 마련
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
잭 밍커🔑
1927–2021
잭 밍커
연구원(연역데이터베이스·논리기반 그래프질의언어)
💡 사실과 규칙에 대한 논리적 추론으로 질의에 답하는 연역데이터베이스·논리프로그래밍 이론을 확립한 창시적 권위자 — SPARQL·Cypher 같은 데이터로그 계열 그래프·지식그래프 질의언어의 직접적 선조
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
🧑‍🔬
🔑
1932–2011
로버트 모리스
연구원(데이터베이스 인덱싱·해싱·접근방법)
💡 벨연구소 암호학자·시스템프로그래머로 유닉스 비밀번호 해싱 체계(crypt)를 공동 설계하고, 저장구조·접근방법 설계 전반에 쓰이는 해시코딩 이론과 해시함수 성능분석에 기초적으로 기여
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
더글러스 레넛🔑
1950–2023
더글러스 레넛
연구원(대규모 지식그래프 구축·온톨로지공학)
💡 포괄적 상식지식베이스·온톨로지를 수작업으로 구축하는 최장기 프로젝트인 Cyc를 창설·주도하여, 대규모 상징적 지식그래프 구축과 온톨로지공학 방법론을 개척
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
알프레트 타르스키🔑
1901–1983
알프레트 타르스키
연구원(형식의미론·모델이론 기반 온톨로지공학)
💡 모델이론과 형식언어의 진리 정의를 창시하여, 온톨로지언어(OWL)를 뒷받침하는 기술논리(description logic)와 형식의미론의 논리적 토대를 제공
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
🧑‍🔬
🔑
1931–2002
울레요한 달
연구원(객체지향·시맨틱 데이터모델링)
💡 최초의 객체지향 프로그래밍 언어 Simula를 공동 창안하여 클래스·객체·상속 개념을 도입 — 오늘날 지식시스템의 객체-관계형·시맨틱 데이터모델의 개념적 토대를 마련
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
찰스 샌더스 퍼스🔑
1839–1914
찰스 샌더스 퍼스
연구원(트리플기반 지식표현(RDF/SPARQL 논리적 기초))
💡 관계의 논리(logic of relatives)와 실존그래프(existential graphs)를 개발 — 주어-술어-목적어 관계논리를 도식화한 것으로, RDF와 시맨틱웹 지식표현의 핵심인 트리플 구조를 선구적으로 예견
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
레이먼드 F. 보이스🔑
1946–1974
레이먼드 F. 보이스
연구원(관계형 데이터모델링·정규화·SQL 질의언어 기초)
💡 IBM에서 도널드 체임벌린과 함께 SQL(당시 SEQUEL) 질의언어를 공동 창안(1973-74)하고, 커드의 정규형을 정교화한 보이스-커드 정규형(BCNF)을 공동 고안
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
위르크 니버겔트🔑
1938–2019
위르크 니버겔트
연구원(공간·다차원 인덱싱(PostGIS 지리데이터베이스))
💡 다차원 범위·근접질의를 지원하는 최초의 다차원 접근방법 중 하나인 그리드파일(grid file)을 발명하고 확장해싱(extendible hashing)을 공동 개발
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
헤르만 볼드🔑
1908–1992
헤르만 볼드
연구원(시계열데이터베이스·확률과정분석)
💡 정상확률과정을 결정론적 성분과 이동평균(확률적) 성분의 합으로 표현할 수 있음을 증명한 월드 분해정리를 제시 — 시계열데이터베이스 분석의 근간인 ARMA/ARIMA 모델의 이론적 토대
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터
🧑‍🔬
🔑
1938–2012
토머스 M. 커버
연구원(벡터유사도검색·최근접이웃 방법론(FAISS 등))
💡 최근접이웃(k-NN) 분류규칙의 오차율이 최적 베이즈 오차의 특정 배수 이내로 유계임을 공동 증명 — 근사최근접이웃(ANN) 벡터검색의 이론적 토대를 제공
⚙️ 지오버스시스템관리연구본부데이터베이스지식시스템센터