TypeDB Fundamentals Lecture Series: from Nov 16 to Jan 9

TypeDB Learning Center

Learning center for TypeDB & TypeQL

 Review features Read philosophy
 

Fundamentals

Type Theory as the Unifying Foundation for Modern Databases

Unification of database paradigms, backed by modern type-theoretic mathematics.

Why We Need a Polymorphic Database

How databases lack the expressivity to natively model abstraction, inheritance, and polymorphism.
 

Lectures

Type Theory as the Unifying Foundation for Modern Databases

Redesigning database foundations from first principles based on contemporary mathematics — type theory.

Why We Need a Polymorphic Database

There are plenty of database paradigms, but they all are tailored to specific data domains. Learn how in order to efficiently query diverse data we need a polymorphic database.

TypeDB: the polymorphic database

Learn what it means for TypeDB to be a polymorphic database, with a conceptual data model and strong subtyping, and see its modern type-theoretic query language in action.

The Polymorphic Data Model of TypeDB

Learn about the key ingredients of TypeDB's polymorphic entity-relation-attribute model, which unifies existing database paradigms into a single streamlined framework.
 

Start building today

Deploy locally or in the cloud and start building now, or explore more about TypeDB and how its unique capabilities as a polymorphic database can refine and empower your applications.

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.

Deploy

Learn more

Feedback