TypeDB Academy

Welcome to TypeDB Academy!

This course is designed as an end-to-end learning experience for TypeDB and TypeQL. Through the lens of a sample bookstore database, you’ll learn how to read data, write data, and build schemas while taking advantage of TypeDB’s unique features as a modern, type-safe, and highly expressive database.

This course is intended for:

Users who are completely new to TypeDB.
Users who have used TypeDB a bit and want to solidify their understanding.
Users who have used TypeDB a lot and want to recap the fundamentals.

You will not need any prior knowledge of TypeDB in order to complete this course.

This course is divided into several lessons covering key topics, arranged into three modules: Fundamentals, Intermediate, and Advanced. The lessons are mostly self-contained but intended to be followed in order. Each lesson includes an overview of the content, and lists any recommended prerequisites.

Getting started

Preliminary material for anyone starting TypeDB Academy. Recommended before starting any module.

Lesson 1: Introduction to TypeDB

Overview of the unique features that sets TypeDB apart from other databases and the design philosophy behind them.

Lesson 2: Environment setup

Easy guide to setting up and using the sample environment needed to run the queries featured in examples and exercises.

Fundamentals

Material covering the basics of working with TypeDB, sufficient to start prototyping applications. Learn how to read and write data, how to define schemas for new databases, and how to use the native language drivers to access TypeDB server deployments from your applications.

Lesson 3: Reading data

Learn how to read data from TypeDB, including declarative polymorphic querying, rule inference, and retrieving types from the schema.

Lesson 4: Writing data

Learn how to write data to TypeDB, covering insert, delete, and update operations, including polymorphic data writes.

Lesson 5: Defining schemas

Learn how to define schemas for TypeDB, including type hierarchies, interfaces between types, value constraints, and inference rules.

Lesson 6: Building applications

Learn how to build applications on TypeDB, covering database management, transaction control, and result stream processing.

Intermediate

Material covering querying and modeling in depth, sufficient to take applications to production. Learn how to write more complex queries using the full range of TypeQL’s syntax, and how to use types and rules to build more powerful and expressive schemas.

Lesson 7: Understanding query patterns

Learn how to build query patterns utilising advanced elements of TypeQL syntax, and how queries are resolved by TypeDB.

Lesson 8: Structuring query results

Learn how to structure query results in the optimal manner, covering result grouping, aggregations, sorting, and pagination.

Lesson 9: Modeling schemas

Learn how to design schemas for TypeDB using the conceptual PERA model, including common design patterns and pitfalls.

Lesson 10: Using inference

Learn how to use rule inference to abstract complex patterns into simple forms, and capture complex logic with combinations of rules.

Advanced

Material covering TypeDB’s most advanced features, for building optimised and scalable applications. Learn how to manipulate data using stateful objects, and create elegant type-theoretic data models.

Lesson 11: Manipulating stateful objects

Learn how to use retrieve data instances and schema types from the database as stateful objects and perform operations on them.

Lesson 12: Advanced modeling

Learn how to eliminate mismatch with applications by using the type-theoretic framework of the PERA model for schema design.