TypeDB Fundamentals
Technical articles on the fundamentals of TypeDB and TypeQL
Engineering challenges
TypeDB tackles a range of deep engineering challenges, some of which have plagued database engineers for several decades.
Why We Need a Polymorphic Database
Why Object Model Mismatch is Still a Problem
How Semantic Integrity Loss Occurs in a Database
When Declarative Query Languages Become Imperative
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.
TypeDB: the Polymorphic Database
The Conceptual Data Model of TypeDB
The Type-Theoretic Language of TypeDB
The Strong Type System of TypeDB
The Symbolic Reasoning Engine of TypeDB
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.
The Polymorphic Data Model With Types
From Concepts to Types in Databases
The PERA Model: an In-Depth Guide
TypeDB's Polymorphic Model: a Comparison
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.
Type Theory as the Unifying Foundation for Modern Databases
How Type Theory Powers Formal Languages
Polymorphism-Enhanced Conceptual Data Models
The Confluence of Database Languages and Type 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.