TypeQL is the query language of TypeDB.
TypeQL is based directly on the conceptual PERA data model of TypeDB. Its queries comprise sequences of statements that assemble into patterns. This mirrors natural language and makes it easy and intuitive to express even highly complex queries.
TypeQL is fully declarative, allowing us to define query patterns without considering execution strategy. The user only composes sets of requirements, and TypeDB finds all matching data to process.
Any concept in TypeQL can be variablized in a query – even types! This enables TypeQL to express powerful parametric database operations.
TypeQL patterns are underpinned by a powerful strong type system that ensures safety and consistency of database applications.