TypeDB is a polymorphic database with a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a beautiful and elegant type-theoretic language: TypeQL.
When we look at the evolution of databases in the last 40 years since relational algebra and SQL, databases have yet to provide more powerful abstractions to express more advanced logic. Relational databases lack the expressivity to model polymorphism, and eliminating the schema in NoSQL databases prevents declarative data retrieval.
With modern type-theoretic mathematics at our disposal, how would we re-think and re-design the foundations of modern databases in the best possible way? Answering this question is what led to building a new kind of database: TypeDB — a type-theoretic database with a polymorphic model and language.
