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.

Entities, Relations, Attributes

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

Constraining Data

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

Schema & Data

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

Query Variables and Patterns

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

Query Clauses & Pipelining

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

Queries as Functions

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

Glossary

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

Advanced: Invalid Patterns

A deeper look at invalid patterns involving disjoint variable reuse