GeoVerse Lab
โ† GeoVerse System Administration Division

Database & Knowledge Systems Center

Builds and maintains high-performance relational, spatial, and graph database systems - PostgreSQL/PostGIS optimization, Neo4j knowledge graphs, time-series stores (InfluxDB, TimescaleDB) - with advanced indexing, query optimization, and semantic search/ontology support.

Infrastructure & Cloud Operations CenterDatabase & Knowledge Systems CenterAI Operations & Automation CenterCybersecurity & Compliance CenterApplication & Simulation Operations CenterMeta-Governance & Interface CenterSoftware Engineering & Development Center
Research Fields 14
Relational Data Modeling, Normalization & SQL Query Foundations
๐Ÿ—‚๏ธ Relational Data Modeling, Normalization & SQL Query Foundations
Relational data modeling is the discipline of designing database schemas as sets of typed โ€ฆ
Database Indexing, Hashing & Access Methods
๐Ÿ—ƒ๏ธ Database Indexing, Hashing & Access Methods
Database indexing and access-method design is the study of auxiliary on-disk and in-memoryโ€ฆ
Spatial & Multidimensional Indexing for Geographic Databases
๐Ÿ—บ๏ธ Spatial & Multidimensional Indexing for Geographic Databases
Spatial and multidimensional indexing designs access methods that let a database answer raโ€ฆ
Graph Theory Foundations for Graph Databases
๐Ÿ•ธ๏ธ Graph Theory Foundations for Graph Databases
This field applies the mathematical formalization of graphs and hypergraphs โ€” vertices, edโ€ฆ
Object-Oriented & Semantic Data Modeling
๐Ÿงฉ Object-Oriented & Semantic Data Modeling
Object-oriented and semantic data modeling represents domain entities as typed objects thaโ€ฆ
Formal Semantics, Model Theory & Ontology Engineering
๐Ÿง  Formal Semantics, Model Theory & Ontology Engineering
Ontology engineering builds machine-checkable descriptions of a domain's classes, propertiโ€ฆ
Triple-Based Knowledge Representation (RDF/SPARQL Foundations)
๐Ÿ”— Triple-Based Knowledge Representation (RDF/SPARQL Foundations)
This field concerns the representation of facts as elementary subject-predicate-object staโ€ฆ
Full-Text Search Evaluation & Information Retrieval
๐Ÿ” Full-Text Search Evaluation & Information Retrieval
Full-text search evaluation studies how to design and measure the quality of systems that โ€ฆ
Vector Similarity Search & Nearest-Neighbor Methods
๐Ÿ“ Vector Similarity Search & Nearest-Neighbor Methods
Vector similarity search retrieves, for a query vector, the k data points closest to it unโ€ฆ
Time-Series Database & Stochastic Process Analysis
๐Ÿ“ˆ Time-Series Database & Stochastic Process Analysis
This field covers the storage, compression and statistical modeling of time-stamped measurโ€ฆ
Concurrency Control, Transactions & Distributed Storage
๐Ÿ”’ Concurrency Control, Transactions & Distributed Storage
Concurrency control studies the mechanisms โ€” locking, multi-version concurrency control (Mโ€ฆ
Large-Scale Knowledge Graph Construction & Ontology Engineering
๐ŸŒ Large-Scale Knowledge Graph Construction & Ontology Engineering
This field studies the methodology for curating, integrating and maintaining a coherent, lโ€ฆ
Deductive Databases & Logic-Based Graph Query Languages
๐Ÿงฎ Deductive Databases & Logic-Based Graph Query Languages
A deductive database answers queries by logical inference over a set of stored facts and dโ€ฆ
Data Warehousing & Large-Scale Batch Data Processing Origins
๐Ÿ›๏ธ Data Warehousing & Large-Scale Batch Data Processing Origins
Data warehousing designs a separate, read-optimized data store into which facts from multiโ€ฆ