TypeQL

TypeQL is the declarative, strongly-typed, and intuitive query language used by TypeDB.

This guide aims to develop an intuitive understanding of TypeQL. It provides an overview of the language - focusing on explaining the core concepts and leaving the details to the TypeQL reference. The relevant sections of the reference are linked at the end of each page.

A gentle introduction to the PERA data model - Entities, relations, attributes and what it means to "own" attributes and "play" roles in relations.

Covers advanced typing constraints available in TypeQL: cardinality & restrictions on attribute values.

A schema is the blueprint of a database. How does TypeDB ensure the data conforms to it?

Builds up the syntax and semantics of the TypeQL language - from constraints & variables to patterns.

Shows how various TypeQL clauses can be chained to form complex query & data modification pipelines.

TypeQL functions bring the familiar abstraction from programming languages to databases.

Short definitions of terms used throughout the guide, with links to the section which introduces them.