← GeoAcademy System Administration College

Database & Knowledge Systems Department

The Database & Knowledge Systems Department builds students' capacity to design data infrastructure spanning relational, spatial, and graph databases. Students practice PostgreSQL/PostGIS spatial database optimization, build Neo4j knowledge graphs, and operate time-series stores such as InfluxDB and TimescaleDB, while learning advanced indexing, query optimization, and semantic search/ontology design. Graduates emerge as database engineers capable of designing, building, and performance-tuning large, heterogeneous data systems.

⚙️ GeoAcademy System Administration College 🖥️ AI & Computing Sciences College 🔬 Basic Sciences College ⚡ Intelligent Geophysical Exploration College 🛢️ Resource & Energy Engineering College 🌍 Applied Geoscience Solutions College 💼 Economics, Policy & Strategy for the Future College 🎓 Education & Training Development College 🚀 Innovation & International Collaboration College

Infrastructure & Cloud Operations Department Database & Knowledge Systems Department AI Operations & Automation Department Cybersecurity & Compliance Department Application & Simulation Operations Center Meta-Governance & Interface Center Software Engineering & Development Center

🔑

⭐ Codd

Chair

💡 Relational Database Theory & Knowledge Systems

Researchers (real GeoVerse Lab members) 14

🔑

1946–1974

Raymond F. Boyce

Researcher

💡 Co-created the SQL (then SEQUEL) database query language with Donald Chamberlin at IBM (1973-74) and co-developed Boyce-Codd Normal Form (BCNF), a stricter normalization criterion refining Codd's original normal forms

🧑‍🔬

🔑

1932–2011

Robert Morris

Researcher

💡 Bell Labs cryptographer and systems programmer who co-designed the Unix password-hashing scheme (crypt) and made foundational contributions to hash-coding theory and analysis used across storage and access-method design

🔑

1938–2019

Jürg Nievergelt

Researcher

💡 Invented the grid file, one of the first multidimensional access methods supporting efficient range/proximity queries over spatial data, and co-developed extendible hashing

🧑‍🔬

🔑

1926–2002

Claude Berge

Researcher

💡 One of the modern founders of graph theory and combinatorics, whose formalization of graphs, hypergraphs, and perfect graphs underlies the property-graph data model used by graph databases such as Neo4j

🧑‍🔬

🔑

1931–2002

Ole-Johan Dahl

Researcher

💡 Co-created Simula, the first object-oriented programming language, introducing classes, objects, and inheritance — the conceptual basis of object-relational and semantic data models used in modern knowledge systems

🔑

1901–1983

Alfred Tarski

Researcher

💡 Founded model theory and formal semantic truth definitions for formal languages, providing the logical foundation for description logics and the formal semantics that underpin ontology languages such as OWL

🔑

1839–1914

Charles Sanders Peirce

Researcher

💡 Developed the logic of relatives and existential graphs, a diagrammatic subject-predicate-object relational logic that anticipates the triple (subject-predicate-object) structure at the heart of RDF and semantic-web knowledge representation

🧑‍🔬

🔑

1914–1997

Cyril Cleverdon

Researcher

💡 Led the Cranfield experiments, establishing the standard test-collection methodology (queries, relevance judgments, precision/recall) used to evaluate full-text search and information-retrieval systems

🧑‍🔬

🔑

1938–2012

Thomas M. Cover

Researcher

💡 Co-proved the nearest-neighbor classification theorem showing the nearest-neighbor rule's error rate is bounded relative to the optimal Bayes error, the theoretical foundation of approximate nearest-neighbor vector search

🔑

1908–1992

Herman Wold

Researcher

💡 Proved the Wold decomposition theorem showing any stationary stochastic process can be represented as a sum of deterministic and moving-average (stochastic) components, foundational to the ARMA/ARIMA time-series models underlying time-series database analytics

🔑

1938–2007

Per Brinch Hansen

Researcher

💡 Invented the monitor concurrency-control construct and designed the RC 4000 multiprogramming/microkernel system, foundational to the transaction isolation and concurrent-access control used in modern database and distributed-storage engines

🔑

1950–2023

Douglas Lenat

Researcher

💡 Founded and led the Cyc project, the longest-running effort to hand-build a comprehensive common-sense knowledge base and ontology, pioneering large-scale symbolic knowledge-graph construction and ontology-engineering methodology

🔑

1927–2021

Jack Minker

Researcher

💡 A founding authority on deductive databases and logic programming, establishing the theory of answering queries by logical inference over facts and rules — the direct ancestor of Datalog-style graph and knowledge-graph query languages such as SPARQL and Cypher

🔑

1860–1929

Herman Hollerith

Researcher

💡 Invented the punched-card electromechanical tabulating machine used to aggregate and cross-tabulate the 1890 U.S. Census, founding the practice of large-scale batch aggregation of records into summary statistics — the direct ancestor of data-warehouse ETL and OLAP aggregation