New ACM paper, free-tier cloud, and open-source license

TypeDB Fundamentals

Technical articles on the fundamentals of TypeDB and TypeQL

Visit learning center Watch lectures

Engineering challenges

TypeDB tackles a range of deep engineering challenges, some of which have plagued database engineers for several decades.

Core features

TypeDB is based on a novel data model and querying paradigm, which sets the scene for a long list of powerful new features.

Data modeling

TypeDB's award-winning data model may look intricate at first, but is grounded in a few simple ingredients that apply to a large variety of data structures.

Theoretical foundations

TypeDB and its query language, TypeQL, are firmly rooted in the study of type systems and take close inspiration from modern programming language theory.

Learn more

Interested in learning more about TypeDB and TypeQL?

Start building with TypeDB

Cloud or container, a polymorphic database with a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a type-theoretic language is minutes away.