DEV Community

TypeDB

The polymorphic database powered by types

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.

London, UK Joined on Oct 14, 2020

Support email

community@typedb.com

Employees

Meet the team

mifuneson2 profile image

haikalpribadi profile image

Our story

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.

3 posts published

2 members

Why we built a polymorphic database

mifuneson2 profile

mifuneson2

Oct 20 '23