데이터베이스지식시스템학과

데이터베이스지식시스템학과는 관계형·공간·그래프 데이터베이스를 아우르는 데이터 인프라 설계 역량을 기른다. 학생은 PostgreSQL/PostGIS 공간 데이터베이스 최적화, Neo4j 지식그래프 구축, InfluxDB·TimescaleDB 시계열 저장소 운영을 실습하고, 고급 인덱싱·쿼리 최적화 기법과 시맨틱 검색·온톨로지 설계를 익힌다. 졸업생은 대규모 이종 데이터 시스템을 설계·구축하고 성능을 최적화할 수 있는 데이터베이스 엔지니어로 성장한다.

⚙️ 지오아카데미시스템관리대학 🖥️ AI·컴퓨팅과학대학 🔬 기초과학대학 ⚡ 지능형지구물리탐사대학 🛢️ 자원에너지공학대학 🌍 응용지구과학대학 💼 경제정책미래전략대학 🎓 교육훈련대학 🚀 혁신국제협력대학

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

🔑

⭐ 코드

학과장

💡 Relational Database Theory & Knowledge Systems

연구원(실제 GeoVerse Lab 소속) 14

🔑

1946–1974

레이먼드 F. 보이스

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

💡 IBM에서 도널드 체임벌린과 함께 SQL(당시 SEQUEL) 질의언어를 공동 창안(1973-74)하고, 커드의 정규형을 정교화한 보이스-커드 정규형(BCNF)을 공동 고안

🧑‍🔬

🔑

1932–2011

로버트 모리스

연구원(데이터베이스 인덱싱·해싱·접근방법)

💡 벨연구소 암호학자·시스템프로그래머로 유닉스 비밀번호 해싱 체계(crypt)를 공동 설계하고, 저장구조·접근방법 설계 전반에 쓰이는 해시코딩 이론과 해시함수 성능분석에 기초적으로 기여

🔑

1938–2019

위르크 니버겔트

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

💡 다차원 범위·근접질의를 지원하는 최초의 다차원 접근방법 중 하나인 그리드파일(grid file)을 발명하고 확장해싱(extendible hashing)을 공동 개발

🧑‍🔬

🔑

1926–2002

클로드 베르주

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

💡 그래프·하이퍼그래프·완전그래프를 체계화한 현대 그래프이론·조합론의 창시자 중 한 명으로, 오늘날 Neo4j 등 그래프데이터베이스가 쓰는 프로퍼티그래프 모델의 수학적 토대를 마련

🧑‍🔬

🔑

1931–2002

울레요한 달

연구원(객체지향·시맨틱 데이터모델링)

💡 최초의 객체지향 프로그래밍 언어 Simula를 공동 창안하여 클래스·객체·상속 개념을 도입 — 오늘날 지식시스템의 객체-관계형·시맨틱 데이터모델의 개념적 토대를 마련

🔑

1901–1983

알프레트 타르스키

연구원(형식의미론·모델이론 기반 온톨로지공학)

💡 모델이론과 형식언어의 진리 정의를 창시하여, 온톨로지언어(OWL)를 뒷받침하는 기술논리(description logic)와 형식의미론의 논리적 토대를 제공

🔑

1839–1914

찰스 샌더스 퍼스

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

💡 관계의 논리(logic of relatives)와 실존그래프(existential graphs)를 개발 — 주어-술어-목적어 관계논리를 도식화한 것으로, RDF와 시맨틱웹 지식표현의 핵심인 트리플 구조를 선구적으로 예견

🧑‍🔬

🔑

1914–1997

시릴 클레버던

연구원(전문검색 평가·정보검색)

💡 크랜필드 실험(Cranfield experiments)을 주도하여, 전문검색·정보검색 시스템 평가에 쓰이는 표준 테스트컬렉션 방법론(질의·적합성판정·정밀도-재현율)을 확립

🧑‍🔬

🔑

1938–2012

토머스 M. 커버

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

💡 최근접이웃(k-NN) 분류규칙의 오차율이 최적 베이즈 오차의 특정 배수 이내로 유계임을 공동 증명 — 근사최근접이웃(ANN) 벡터검색의 이론적 토대를 제공

🔑

1908–1992

헤르만 볼드

연구원(시계열데이터베이스·확률과정분석)

💡 정상확률과정을 결정론적 성분과 이동평균(확률적) 성분의 합으로 표현할 수 있음을 증명한 월드 분해정리를 제시 — 시계열데이터베이스 분석의 근간인 ARMA/ARIMA 모델의 이론적 토대

🔑

1938–2007

페르 브린치 한센

연구원(동시성제어·트랜잭션·분산스토리지)

💡 모니터(monitor) 동시성제어 구조를 창안하고 RC 4000 다중프로그래밍/마이크로커널 시스템을 설계 — 현대 데이터베이스·분산스토리지 엔진의 트랜잭션 격리 및 동시접근제어의 토대

🔑

1950–2023

더글러스 레넛

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

💡 포괄적 상식지식베이스·온톨로지를 수작업으로 구축하는 최장기 프로젝트인 Cyc를 창설·주도하여, 대규모 상징적 지식그래프 구축과 온톨로지공학 방법론을 개척

🔑

1927–2021

잭 밍커

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

💡 사실과 규칙에 대한 논리적 추론으로 질의에 답하는 연역데이터베이스·논리프로그래밍 이론을 확립한 창시적 권위자 — SPARQL·Cypher 같은 데이터로그 계열 그래프·지식그래프 질의언어의 직접적 선조

🔑

1860–1929

허먼 홀러리스

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

💡 1890년 미국 인구조사 자료를 집계·교차분석하기 위한 천공카드 전기기계식 집계기를 발명 — 대량 레코드를 요약통계로 일괄 집계하는 관행을 창시, 오늘날 데이터웨어하우스 ETL·OLAP 집계의 직접적 기원