🎓GeoAcademyGeoVerse Lab
← 지오아카데미시스템관리대학

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

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

⚙️ 지오아카데미시스템관리대학🖥️ AI·컴퓨팅과학대학🔬 기초과학대학⚡ 지능형지구물리탐사대학🛢️ 자원에너지공학대학🌍 응용지구과학대학💼 경제정책미래전략대학🎓 교육훈련대학🚀 혁신국제협력대학
인프라클라우드운영학과데이터베이스지식시스템학과AIOps자동화학과사이버보안컴플라이언스학과응용·시뮬레이션운영센터메타거버넌스·인터페이스센터소프트웨어공학개발센터

연구분야 기반 커리큘럼 · 14

이 학과 교수진이 GeoVerse Lab에서 담당하는 연구분야를 그대로 커리큘럼의 뼈대로 씁니다 — 클릭하면 해당 분야를 어떻게 가르치는지 볼 수 있습니다.

관계형 데이터모델링·정규화·SQL 질의언어 기초
관계형 데이터모델링·정규화·SQL 질의언어 기초
관계형 모델링은 이상현상 없는 스키마를 향한 정규화 이론이다. 이 과목은 함수종속성 분석과 선언적 질의, 질의최적화의 사상을 가르친다.
레이먼드 F. 보이스
데이터베이스 인덱싱·해싱·접근방법
데이터베이스 인덱싱·해싱·접근방법
인덱싱은 읽기 속도와 저장·유지비용의 맞바꿈이다. 이 과목은 B-트리와 해싱을 직접 구현해 접근방법 선택을 비용 기반으로 판단하게 한다.
로버트 모리스
공간·다차원 인덱싱(PostGIS 지리데이터베이스)
공간·다차원 인덱싱(PostGIS 지리데이터베이스)
공간 인덱싱은 어떤 단일 차원도 공간 근접성을 반영하지 못하는 문제에서 출발한다. 이 과목은 그리드파일과 R-트리를 구현하고 PostGIS 적용…
위르크 니버겔트
그래프이론 기반 그래프데이터베이스(Neo4j 등)
그래프이론 기반 그래프데이터베이스(Neo4j 등)
그래프데이터베이스는 관계를 일급 순회 객체로 만든다. 이 과목은 그래프이론의 조합론적 기초를 프로퍼티그래프 모델과 질의로 이어 가르친다.
클로드 베르주
객체지향·시맨틱 데이터모델링
객체지향·시맨틱 데이터모델링
객체지향 데이터모델링은 상속과 캡슐화를 일급 스키마 특성으로 만든다. 이 과목은 시뮬라의 기원에서 객체-관계형·시맨틱 확장까지 가르친다.
울레요한 달
형식의미론·모델이론 기반 온톨로지공학
형식의미론·모델이론 기반 온톨로지공학
형식의미론 기반 온톨로지공학은 기계검사 가능한 도메인 기술을 만든다. 이 과목은 모델이론적 의미론과 기술논리의 표현력-복잡도 균형을 가르친다.
알프레트 타르스키
트리플기반 지식표현(RDF/SPARQL 논리적 기초)
트리플기반 지식표현(RDF/SPARQL 논리적 기초)
RDF는 모든 사실을 주어-술어-목적어 트리플로 고정한다. 이 과목은 퍼스의 관계논리 계보 위에 트리플저장소와 SPARQL을 가르친다.
찰스 샌더스 퍼스
전문검색 평가·정보검색
전문검색 평가·정보검색
전문검색 평가는 크랜필드 패러다임 위에 서 있다. 이 과목은 역색인과 순위화 방법을 구현하고 정밀도·재현율로 채점하게 한다.
시릴 클레버던
벡터유사도검색·최근접이웃 방법론(FAISS 등)
벡터유사도검색·최근접이웃 방법론(FAISS 등)
벡터유사도검색은 근접성이 원리에 근거한 판정 기준임에 기반한다. 이 과목은 최근접이웃 이론과 근사 색인의 정확성-속도 타협을 가르친다.
토머스 M. 커버
시계열데이터베이스·확률과정분석
시계열데이터베이스·확률과정분석
시계열데이터베이스는 시간 자체를 주된 인덱스로 삼는다. 이 과목은 시간 기준 조직과 볼드 정리·ARMA 계열의 통계적 토대를 함께 가르친다.
헤르만 볼드
동시성제어·트랜잭션·분산스토리지
동시성제어·트랜잭션·분산스토리지
동시성제어는 겹치는 트랜잭션이 직렬실행으로 불가능한 결과를 내지 않게 하는 메커니즘이다. 이 과목은 모니터 개념에서 격리수준·MVCC까지의 사상…
페르 브린치 한센
대규모 지식그래프 구축·온톨로지공학
대규모 지식그래프 구축·온톨로지공학
대규모 지식그래프 구축은 이질적 기여를 일관된 전체로 큐레이션하는 편집 공학이다. 이 과목은 Cyc의 교훈 위에 사실 선택과 모순 조정, 상위온…
더글러스 레넛
연역데이터베이스·논리기반 그래프질의언어
연역데이터베이스·논리기반 그래프질의언어
연역데이터베이스는 저장된 사실에 규칙의 추론으로 답한다. 이 과목은 데이터로그의 재귀 평가를 구현해 보며 논리기반 질의의 힘을 가르친다.
잭 밍커
데이터웨어하우징·대규모 일괄데이터처리의 기원
데이터웨어하우징·대규모 일괄데이터처리의 기원
데이터웨어하우징은 운영 데이터를 읽기최적화된 집계 저장소로 옮기는 설계다. 이 과목은 ETL과 다차원 모델링을 홀러리스의 계보 위에서 가르친다.…
허먼 홀러리스