[TypeDB | Docs > Home > Create data](https://typedb.com/docs/home/get-started/data.md) [TypeDB | Docs > Home > Get started](https://typedb.com/docs/home/get-started/index.md) [TypeDB | Docs > Home > Overview](https://typedb.com/docs/home/get-started/overview.md) [TypeDB | Docs > Home > Query composition](https://typedb.com/docs/home/get-started/query-composition.md) [TypeDB | Docs > Home > Create a schema](https://typedb.com/docs/home/get-started/schema.md) [TypeDB | Docs > Home > Setup](https://typedb.com/docs/home/get-started/setup.md) [TypeDB | Docs > Home > Home](https://typedb.com/docs/home/index.md) [TypeDB | Docs > Home > TypeDB Community Edition](https://typedb.com/docs/home/install/ce.md) [TypeDB | Docs > Home > TypeDB Cloud](https://typedb.com/docs/home/install/cloud.md) [TypeDB | Docs > Home > TypeDB Console CLI](https://typedb.com/docs/home/install/console-cli.md) [TypeDB | Docs > Home > TypeDB Drivers](https://typedb.com/docs/home/install/drivers.md) [TypeDB | Docs > Home > TypeDB Enterprise](https://typedb.com/docs/home/install/enterprise.md) [TypeDB | Docs > Home > Install](https://typedb.com/docs/home/install/index.md) [TypeDB | Docs > Home > TypeDB Studio](https://typedb.com/docs/home/install/studio.md) [TypeDB | Docs > Home > Learning journey](https://typedb.com/docs/home/learning-journey.md) [TypeDB | Docs > Home > What is TypeDB?](https://typedb.com/docs/home/what-is-typedb.md) [TypeDB | Docs > Home > Why TypeDB?](https://typedb.com/docs/home/why-typedb.md) [TypeDB | Docs > Examples > Examples](https://typedb.com/docs/examples/index.md) [TypeDB | Docs > Examples > Social Network Application](https://typedb.com/docs/examples/social-network.md) [TypeDB | Docs > Examples > Cybersecurity](https://typedb.com/docs/examples/use-cases/cybersecurity.md) [TypeDB | Docs > Examples > IAM](https://typedb.com/docs/examples/use-cases/iam.md) [TypeDB | Docs > Examples > Use Cases](https://typedb.com/docs/examples/use-cases/index.md) [TypeDB | Docs > Examples > Robotics](https://typedb.com/docs/examples/use-cases/robotics.md) [TypeDB | Docs > Core Concepts > Users & Authentication](https://typedb.com/docs/core-concepts/drivers/authentication.md) [TypeDB | Docs > Core Concepts > Best Practices](https://typedb.com/docs/core-concepts/drivers/best-practices.md) [TypeDB | Docs > Core Concepts > Connections](https://typedb.com/docs/core-concepts/drivers/connections.md) [TypeDB | Docs > Core Concepts > Drivers](https://typedb.com/docs/core-concepts/drivers/index.md) [TypeDB | Docs > Core Concepts > Overview](https://typedb.com/docs/core-concepts/drivers/overview.md) [TypeDB | Docs > Core Concepts > Queries](https://typedb.com/docs/core-concepts/drivers/queries.md) [TypeDB | Docs > Core Concepts > Transactions](https://typedb.com/docs/core-concepts/drivers/transactions.md) [TypeDB | Docs > Core Concepts > Core Concepts](https://typedb.com/docs/core-concepts/index.md) [TypeDB | Docs > Core Concepts > Connections](https://typedb.com/docs/core-concepts/typedb/connections.md) [TypeDB | Docs > Core Concepts > CRUD](https://typedb.com/docs/core-concepts/typedb/crud.md) [TypeDB | Docs > Core Concepts > Databases](https://typedb.com/docs/core-concepts/typedb/databases.md) [TypeDB | Docs > Core Concepts > Errors](https://typedb.com/docs/core-concepts/typedb/errors.md) [TypeDB | Docs > Core Concepts > Horizontal Scaling](https://typedb.com/docs/core-concepts/typedb/horizontal-scaling.md) [TypeDB | Docs > Core Concepts > TypeDB](https://typedb.com/docs/core-concepts/typedb/index.md) [TypeDB | Docs > Core Concepts > TypeDB Server Overview](https://typedb.com/docs/core-concepts/typedb/overview.md) [TypeDB | Docs > Core Concepts > Transactions](https://typedb.com/docs/core-concepts/typedb/transactions.md) [TypeDB | Docs > Core Concepts > Users](https://typedb.com/docs/core-concepts/typedb/users.md) [TypeDB | Docs > Core Concepts > Vertical Scaling](https://typedb.com/docs/core-concepts/typedb/vertical-scaling.md) [TypeDB | Docs > Core Concepts > Best practices](https://typedb.com/docs/core-concepts/typeql/best-practices.md) [TypeDB | Docs > Core Concepts > Constraining Data](https://typedb.com/docs/core-concepts/typeql/constraining-data.md) [TypeDB | Docs > Core Concepts > Entities, Relations, Attributes](https://typedb.com/docs/core-concepts/typeql/entities-relations-attributes.md) [TypeDB | Docs > Core Concepts > Glossary](https://typedb.com/docs/core-concepts/typeql/glossary.md) [TypeDB | Docs > Core Concepts > TypeQL](https://typedb.com/docs/core-concepts/typeql/index.md) [TypeDB | Docs > Core Concepts > Advanced: Invalid Patterns](https://typedb.com/docs/core-concepts/typeql/invalid-patterns.md) [TypeDB | Docs > Core Concepts > Overview](https://typedb.com/docs/core-concepts/typeql/overview.md) [TypeDB | Docs > Core Concepts > Queries as Functions](https://typedb.com/docs/core-concepts/typeql/queries-as-functions.md) [TypeDB | Docs > Core Concepts > Query Clauses & Pipelining](https://typedb.com/docs/core-concepts/typeql/query-clauses.md) [TypeDB | Docs > Core Concepts > Query Variables and Patterns](https://typedb.com/docs/core-concepts/typeql/query-variables-patterns.md) [TypeDB | Docs > Core Concepts > Schema & Data](https://typedb.com/docs/core-concepts/typeql/schema-data.md) [TypeDB | Docs > Tools > TypeDB Console](https://typedb.com/docs/tools/console.md) [TypeDB | Docs > Tools > IDE Plugins](https://typedb.com/docs/tools/ide-plugins.md) [TypeDB | Docs > Tools > Tools](https://typedb.com/docs/tools/index.md) [TypeDB | Docs > Tools > TypeDB Studio](https://typedb.com/docs/tools/studio.md) [TypeDB | Docs > Tools > TypeDB Cloud API](https://typedb.com/docs/tools/typedb-cloud-api.md) [TypeDB | Docs > Maintenance & Operation > Database Export & Import](https://typedb.com/docs/maintenance-operation/database-export-import.md) [TypeDB | Docs > Maintenance & Operation > Maintenance & Operation](https://typedb.com/docs/maintenance-operation/index.md) [TypeDB | Docs > Maintenance & Operation > Connecting](https://typedb.com/docs/maintenance-operation/troubleshooting/connection.md) [TypeDB | Docs > Maintenance & Operation > Debugging queries](https://typedb.com/docs/maintenance-operation/troubleshooting/debugging-queries.md) [TypeDB | Docs > Maintenance & Operation > Troubleshooting](https://typedb.com/docs/maintenance-operation/troubleshooting/index.md) [TypeDB | Docs > Maintenance & Operation > Installation](https://typedb.com/docs/maintenance-operation/troubleshooting/installation.md) [TypeDB | Docs > Maintenance & Operation > Optimizing queries](https://typedb.com/docs/maintenance-operation/troubleshooting/optimizing-queries.md) [TypeDB | Docs > Maintenance & Operation > Stopping queries](https://typedb.com/docs/maintenance-operation/troubleshooting/stopping-queries.md) [TypeDB | Docs > Maintenance & Operation > TypeDB Backups](https://typedb.com/docs/maintenance-operation/typedb-backups.md) [TypeDB | Docs > Maintenance & Operation > TypeDB Configuration](https://typedb.com/docs/maintenance-operation/typedb-configuration.md) [TypeDB | Docs > Maintenance & Operation > TypeDB In-flight Encryption](https://typedb.com/docs/maintenance-operation/typedb-in-flight-encryption.md) [TypeDB | Docs > Maintenance & Operation > TypeDB Upgrades](https://typedb.com/docs/maintenance-operation/typedb-upgrades.md) [TypeDB | Docs > Reference > TypeDB Cloud API](https://typedb.com/docs/reference/cloud-http-api.md) [TypeDB | Docs > Reference > Reference](https://typedb.com/docs/reference/index.md) [TypeDB | Docs > Reference > TypeDB 2.x to TypeDB 3.x: what’s changed](https://typedb.com/docs/reference/typedb-2-vs-3/diff.md) [TypeDB | Docs > Reference > TypeDB 2.x vs TypeDB 3.x](https://typedb.com/docs/reference/typedb-2-vs-3/index.md) [TypeDB | Docs > Reference > TypeDB 2.x to TypeDB 3.x: migration process](https://typedb.com/docs/reference/typedb-2-vs-3/process.md) [TypeDB | Docs > Reference > TypeDB GRPC Drivers](https://typedb.com/docs/reference/typedb-grpc-drivers/index.md) [TypeDB | Docs > Reference > Java gRPC driver](https://typedb.com/docs/reference/typedb-grpc-drivers/java.md) [TypeDB | Docs > Reference > Python gRPC driver](https://typedb.com/docs/reference/typedb-grpc-drivers/python.md) [TypeDB | Docs > Reference > Rust gRPC driver](https://typedb.com/docs/reference/typedb-grpc-drivers/rust.md) [TypeDB | Docs > Reference > TypeDB HTTP API](https://typedb.com/docs/reference/typedb-http-api.md) [TypeDB | Docs > Reference > TypeDB HTTP Drivers](https://typedb.com/docs/reference/typedb-http-drivers/index.md) [TypeDB | Docs > Reference > Typescript HTTP Driver](https://typedb.com/docs/reference/typedb-http-drivers/typescript.md) [TypeDB | Docs > > Page Not Found](https://typedb.com/docs/404.md) [TypeDB | Docs > TypeDB Academy > Lesson 1: Introduction to TypeDB](https://typedb.com/docs/academy/1-introduction-to-typedb/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 10.1: Functions as views](https://typedb.com/docs/academy/10-using-functions/10.1-functions-as-views.md) [TypeDB | Docs > TypeDB Academy > Lesson 10.2: Function chaining](https://typedb.com/docs/academy/10-using-functions/10.2-function-chaining.md) [TypeDB | Docs > TypeDB Academy > Lesson 10: Using inference](https://typedb.com/docs/academy/10-using-functions/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 10: Using inference](https://typedb.com/docs/academy/10-using-functions/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 11.1: Using dependent types](https://typedb.com/docs/academy/11-advanced-modeling/11.1-using-dependent-types.md) [TypeDB | Docs > TypeDB Academy > Lesson 11.2: Using type-theoretic relations](https://typedb.com/docs/academy/11-advanced-modeling/11.2-using-type-theoretic-relations.md) [TypeDB | Docs > TypeDB Academy > Lesson 11.3: Reifying interfaces](https://typedb.com/docs/academy/11-advanced-modeling/11.3-reifying-interfaces.md) [TypeDB | Docs > TypeDB Academy > Lesson 11: Advanced modeling](https://typedb.com/docs/academy/11-advanced-modeling/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 11: Advanced modeling](https://typedb.com/docs/academy/11-advanced-modeling/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 2.1: Sample deployment](https://typedb.com/docs/academy/2-environment-setup/2.1-sample-deployment.md) [TypeDB | Docs > TypeDB Academy > Lesson 2: Environment setup](https://typedb.com/docs/academy/2-environment-setup/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 3.1: Fetching simple data](https://typedb.com/docs/academy/3-reading-data/3.1-fetching-simple-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 3.2: Fetching polymorphic data](https://typedb.com/docs/academy/3-reading-data/3.2-fetching-polymorphic-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 3.3: Using functions](https://typedb.com/docs/academy/3-reading-data/3.3-using-functions.md) [TypeDB | Docs > TypeDB Academy > Lesson 3.4: Fetching schema types](https://typedb.com/docs/academy/3-reading-data/3.4-fetching-schema-types.md) [TypeDB | Docs > TypeDB Academy > Lesson 3.5: Query validation](https://typedb.com/docs/academy/3-reading-data/3.5-query-validation.md) [TypeDB | Docs > TypeDB Academy > Lesson 3: Reading data](https://typedb.com/docs/academy/3-reading-data/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 3: Reading data](https://typedb.com/docs/academy/3-reading-data/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 4.1: Inserting simple data](https://typedb.com/docs/academy/4-writing-data/4.1-inserting-simple-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 4.2: Inserting polymorphic data](https://typedb.com/docs/academy/4-writing-data/4.2-inserting-polymorphic-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 4.3: Deleting data](https://typedb.com/docs/academy/4-writing-data/4.3-deleting-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 4.4: Updating data](https://typedb.com/docs/academy/4-writing-data/4.4-updating-data.md) [TypeDB | Docs > TypeDB Academy > Lesson 4.5: Data validation](https://typedb.com/docs/academy/4-writing-data/4.5-data-validation.md) [TypeDB | Docs > TypeDB Academy > Lesson 4: Writing data](https://typedb.com/docs/academy/4-writing-data/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 4: Writing data](https://typedb.com/docs/academy/4-writing-data/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 5.1: Defining individual types](https://typedb.com/docs/academy/5-defining-schemas/5.1-defining-individual-types.md) [TypeDB | Docs > TypeDB Academy > Lesson 5.2: Defining type hierarchies](https://typedb.com/docs/academy/5-defining-schemas/5.2-defining-type-hierarchies.md) [TypeDB | Docs > TypeDB Academy > Lesson 5.3: Defining data constraints](https://typedb.com/docs/academy/5-defining-schemas/5.3-defining-constraints.md) [TypeDB | Docs > TypeDB Academy > Lesson 5.4: Defining functions](https://typedb.com/docs/academy/5-defining-schemas/5.4-defining-functions.md) [TypeDB | Docs > TypeDB Academy > Lesson 5.5: Schema validation](https://typedb.com/docs/academy/5-defining-schemas/5.5-schema-validation.md) [TypeDB | Docs > TypeDB Academy > Lesson 5: Defining schemas](https://typedb.com/docs/academy/5-defining-schemas/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 5: Defining schemas](https://typedb.com/docs/academy/5-defining-schemas/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 6.1: Driver Overview](https://typedb.com/docs/academy/6-building-applications/6.1-driver-overview.md) [TypeDB | Docs > TypeDB Academy > Lesson 6.2: Managing databases](https://typedb.com/docs/academy/6-building-applications/6.2-managing-users-and-databases.md) [TypeDB | Docs > TypeDB Academy > Lesson 6.3: Transactions](https://typedb.com/docs/academy/6-building-applications/6.3-transactions.md) [TypeDB | Docs > TypeDB Academy > Lesson 6.4: Executing queries](https://typedb.com/docs/academy/6-building-applications/6.4-executing-queries.md) [TypeDB | Docs > TypeDB Academy > Lesson 6.5: Processing results](https://typedb.com/docs/academy/6-building-applications/6.5-processing-results.md) [TypeDB | Docs > TypeDB Academy > Lesson 6: Building applications](https://typedb.com/docs/academy/6-building-applications/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 6: Building applications](https://typedb.com/docs/academy/6-building-applications/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.1: Patterns as constraints](https://typedb.com/docs/academy/7-understanding-query-patterns/7.1-patterns-as-constraints.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.2: Relation patterns](https://typedb.com/docs/academy/7-understanding-query-patterns/7.2-relation-patterns.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.3: Logical operators](https://typedb.com/docs/academy/7-understanding-query-patterns/7.3-logical-operators.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.4: Value comparisons](https://typedb.com/docs/academy/7-understanding-query-patterns/7.4-value-comparisons.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.5: Value expressions](https://typedb.com/docs/academy/7-understanding-query-patterns/7.5-value-expressions.md) [TypeDB | Docs > TypeDB Academy > Lesson 7.6: Solution set semantics](https://typedb.com/docs/academy/7-understanding-query-patterns/7.6-solution-set-semantics.md) [TypeDB | Docs > TypeDB Academy > Lesson 7: Understanding query patterns](https://typedb.com/docs/academy/7-understanding-query-patterns/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 7: Understanding query patterns](https://typedb.com/docs/academy/7-understanding-query-patterns/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 8.1: Chaining clauses](https://typedb.com/docs/academy/8-composing-clauses/8.1-chaining-clauses.md) [TypeDB | Docs > TypeDB Academy > Lesson 8.3: Aggregations](https://typedb.com/docs/academy/8-composing-clauses/8.2-aggregations.md) [TypeDB | Docs > TypeDB Academy > Lesson 8.4: Sorting and pagination](https://typedb.com/docs/academy/8-composing-clauses/8.3-sorting-and-pagination.md) [TypeDB | Docs > TypeDB Academy > Lesson 8.2: Subqueries](https://typedb.com/docs/academy/8-composing-clauses/8.4-subqueries.md) [TypeDB | Docs > TypeDB Academy > Lesson 8.5: Structured fetching](https://typedb.com/docs/academy/8-composing-clauses/8.5-structured-fetching.md) [TypeDB | Docs > TypeDB Academy > Lesson 8: Composing clauses](https://typedb.com/docs/academy/8-composing-clauses/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 8: Structuring query results](https://typedb.com/docs/academy/8-composing-clauses/summary.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.1: The PERA model](https://typedb.com/docs/academy/9-modeling-schemas/9.1-the-pera-model.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.2: Determining object types](https://typedb.com/docs/academy/9-modeling-schemas/9.2-determining-object-types.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.3: Avoiding data redundancies](https://typedb.com/docs/academy/9-modeling-schemas/9.3-avoiding-data-redundancies.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.4: Using type hierarchies](https://typedb.com/docs/academy/9-modeling-schemas/9.4-using-type-hierarchies.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.5: Composition over inheritance](https://typedb.com/docs/academy/9-modeling-schemas/9.5-composition-over-inheritance.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.6: Using interface hierarchies](https://typedb.com/docs/academy/9-modeling-schemas/9.6-using-interface-hierarchies.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.7: Avoiding interface redundancies](https://typedb.com/docs/academy/9-modeling-schemas/9.7-avoiding-interface-redundancies.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.8: Interface constracts](https://typedb.com/docs/academy/9-modeling-schemas/9.8-abstract-contracts.md) [TypeDB | Docs > TypeDB Academy > Lesson 9.9: Specialization](https://typedb.com/docs/academy/9-modeling-schemas/9.9-specialization.md) [TypeDB | Docs > TypeDB Academy > Lesson 9: Modeling schemas](https://typedb.com/docs/academy/9-modeling-schemas/index.md) [TypeDB | Docs > TypeDB Academy > Lesson 9: Modeling schemas](https://typedb.com/docs/academy/9-modeling-schemas/summary.md) [TypeDB | Docs > TypeDB Academy > TypeDB Academy](https://typedb.com/docs/academy/index.md) [TypeDB | Docs > TypeQL Reference > @abstract annotation](https://typedb.com/docs/typeql-reference/annotations/abstract.md) [TypeDB | Docs > TypeQL Reference > @card annotation](https://typedb.com/docs/typeql-reference/annotations/card.md) [TypeDB | Docs > TypeQL Reference > @cascade annotation](https://typedb.com/docs/typeql-reference/annotations/cascade.md) [TypeDB | Docs > TypeQL Reference > @distinct annotation](https://typedb.com/docs/typeql-reference/annotations/distinct.md) [TypeDB | Docs > TypeQL Reference > @independent annotation](https://typedb.com/docs/typeql-reference/annotations/independent.md) [TypeDB | Docs > TypeQL Reference > Annotations](https://typedb.com/docs/typeql-reference/annotations/index.md) [TypeDB | Docs > TypeQL Reference > @key annotation](https://typedb.com/docs/typeql-reference/annotations/key.md) [TypeDB | Docs > TypeQL Reference > @range annotation](https://typedb.com/docs/typeql-reference/annotations/range.md) [TypeDB | Docs > TypeQL Reference > @regex annotation](https://typedb.com/docs/typeql-reference/annotations/regex.md) [TypeDB | Docs > TypeQL Reference > @subkey annotation](https://typedb.com/docs/typeql-reference/annotations/subkey.md) [TypeDB | Docs > TypeQL Reference > @unique annotation](https://typedb.com/docs/typeql-reference/annotations/unique.md) [TypeDB | Docs > TypeQL Reference > @values annotation](https://typedb.com/docs/typeql-reference/annotations/values.md) [TypeDB | Docs > TypeQL Reference > Data and query model](https://typedb.com/docs/typeql-reference/data-model.md) [TypeDB | Docs > TypeQL Reference > Function calls](https://typedb.com/docs/typeql-reference/expressions/function-calls.md) [TypeDB | Docs > TypeQL Reference > Expressions](https://typedb.com/docs/typeql-reference/expressions/index.md) [TypeDB | Docs > TypeQL Reference > Lists](https://typedb.com/docs/typeql-reference/expressions/lists.md) [TypeDB | Docs > TypeQL Reference > Literals](https://typedb.com/docs/typeql-reference/expressions/literals.md) [TypeDB | Docs > TypeQL Reference > Operators](https://typedb.com/docs/typeql-reference/expressions/operators.md) [TypeDB | Docs > TypeQL Reference > Structs](https://typedb.com/docs/typeql-reference/expressions/structs.md) [TypeDB | Docs > TypeQL Reference > Functions v/s rules](https://typedb.com/docs/typeql-reference/functions/functions-vs-rules.md) [TypeDB | Docs > TypeQL Reference > Functions](https://typedb.com/docs/typeql-reference/functions/index.md) [TypeDB | Docs > TypeQL Reference > Scalar and tuple functions](https://typedb.com/docs/typeql-reference/functions/scalar.md) [TypeDB | Docs > TypeQL Reference > Stream functions](https://typedb.com/docs/typeql-reference/functions/stream.md) [TypeDB | Docs > TypeQL Reference > Writing functions](https://typedb.com/docs/typeql-reference/functions/writing.md) [TypeDB | Docs > TypeQL Reference > TypeQL language guide](https://typedb.com/docs/typeql-reference/index.md) [TypeDB | Docs > TypeQL Reference > Keyword glossary](https://typedb.com/docs/typeql-reference/keywords.md) [TypeDB | Docs > TypeQL Reference > Conjunctions](https://typedb.com/docs/typeql-reference/patterns/conjunctions.md) [TypeDB | Docs > TypeQL Reference > Disjunctions](https://typedb.com/docs/typeql-reference/patterns/disjunctions.md) [TypeDB | Docs > TypeQL Reference > Patterns](https://typedb.com/docs/typeql-reference/patterns/index.md) [TypeDB | Docs > TypeQL Reference > Negations](https://typedb.com/docs/typeql-reference/patterns/negations.md) [TypeDB | Docs > TypeQL Reference > Optionals](https://typedb.com/docs/typeql-reference/patterns/optionals.md) [TypeDB | Docs > TypeQL Reference > Delete stage](https://typedb.com/docs/typeql-reference/pipelines/delete.md) [TypeDB | Docs > TypeQL Reference > Fetch stage](https://typedb.com/docs/typeql-reference/pipelines/fetch.md) [TypeDB | Docs > TypeQL Reference > Data pipelines](https://typedb.com/docs/typeql-reference/pipelines/index.md) [TypeDB | Docs > TypeQL Reference > Insert stage](https://typedb.com/docs/typeql-reference/pipelines/insert.md) [TypeDB | Docs > TypeQL Reference > Limit operator](https://typedb.com/docs/typeql-reference/pipelines/limit.md) [TypeDB | Docs > TypeQL Reference > Match stage](https://typedb.com/docs/typeql-reference/pipelines/match.md) [TypeDB | Docs > TypeQL Reference > Offset operator](https://typedb.com/docs/typeql-reference/pipelines/offset.md) [TypeDB | Docs > TypeQL Reference > Put stage](https://typedb.com/docs/typeql-reference/pipelines/put.md) [TypeDB | Docs > TypeQL Reference > Reduce operator](https://typedb.com/docs/typeql-reference/pipelines/reduce.md) [TypeDB | Docs > TypeQL Reference > Require stage](https://typedb.com/docs/typeql-reference/pipelines/require.md) [TypeDB | Docs > TypeQL Reference > Select operator](https://typedb.com/docs/typeql-reference/pipelines/select.md) [TypeDB | Docs > TypeQL Reference > Sort operator](https://typedb.com/docs/typeql-reference/pipelines/sort.md) [TypeDB | Docs > TypeQL Reference > Update stage](https://typedb.com/docs/typeql-reference/pipelines/update.md) [TypeDB | Docs > TypeQL Reference > Preamble](https://typedb.com/docs/typeql-reference/pipelines/with.md) [TypeDB | Docs > TypeQL Reference > Define query](https://typedb.com/docs/typeql-reference/schema/define.md) [TypeDB | Docs > TypeQL Reference > Schema queries](https://typedb.com/docs/typeql-reference/schema/index.md) [TypeDB | Docs > TypeQL Reference > Redefine query](https://typedb.com/docs/typeql-reference/schema/redefine.md) [TypeDB | Docs > TypeQL Reference > Undefine query](https://typedb.com/docs/typeql-reference/schema/undefine.md) [TypeDB | Docs > TypeQL Reference > alias statement](https://typedb.com/docs/typeql-reference/statements/alias.md) [TypeDB | Docs > TypeQL Reference > attribute statement](https://typedb.com/docs/typeql-reference/statements/attribute.md) [TypeDB | Docs > TypeQL Reference > Comparisons](https://typedb.com/docs/typeql-reference/statements/comparisons.md) [TypeDB | Docs > TypeQL Reference > entity statement](https://typedb.com/docs/typeql-reference/statements/entity.md) [TypeDB | Docs > TypeQL Reference > fun statement](https://typedb.com/docs/typeql-reference/statements/fun.md) [TypeDB | Docs > TypeQL Reference > has statement](https://typedb.com/docs/typeql-reference/statements/has.md) [TypeDB | Docs > TypeQL Reference > iid statement](https://typedb.com/docs/typeql-reference/statements/iid.md) [TypeDB | Docs > TypeQL Reference > Statements](https://typedb.com/docs/typeql-reference/statements/index.md) [TypeDB | Docs > TypeQL Reference > is statement](https://typedb.com/docs/typeql-reference/statements/is.md) [TypeDB | Docs > TypeQL Reference > isa statement](https://typedb.com/docs/typeql-reference/statements/isa.md) [TypeDB | Docs > TypeQL Reference > label statement](https://typedb.com/docs/typeql-reference/statements/label.md) [TypeDB | Docs > TypeQL Reference > let …​ = statement](https://typedb.com/docs/typeql-reference/statements/let-eq.md) [TypeDB | Docs > TypeQL Reference > let …​ in statement](https://typedb.com/docs/typeql-reference/statements/let-in.md) [TypeDB | Docs > TypeQL Reference > links statement](https://typedb.com/docs/typeql-reference/statements/links.md) [TypeDB | Docs > TypeQL Reference > owns statement](https://typedb.com/docs/typeql-reference/statements/owns.md) [TypeDB | Docs > TypeQL Reference > plays statement](https://typedb.com/docs/typeql-reference/statements/plays.md) [TypeDB | Docs > TypeQL Reference > relates statement](https://typedb.com/docs/typeql-reference/statements/relates.md) [TypeDB | Docs > TypeQL Reference > relation statement](https://typedb.com/docs/typeql-reference/statements/relation.md) [TypeDB | Docs > TypeQL Reference > struct statement](https://typedb.com/docs/typeql-reference/statements/struct.md) [TypeDB | Docs > TypeQL Reference > sub statement](https://typedb.com/docs/typeql-reference/statements/sub.md) [TypeDB | Docs > TypeQL Reference > value statement](https://typedb.com/docs/typeql-reference/statements/value.md) [TypeDB | Docs > TypeQL Reference > Index of terminology](https://typedb.com/docs/typeql-reference/terms.md) [TypeDB | Docs > TypeQL Reference > Boolean](https://typedb.com/docs/typeql-reference/values/boolean.md) [TypeDB | Docs > TypeQL Reference > Comparisons](https://typedb.com/docs/typeql-reference/values/comparisons.md) [TypeDB | Docs > TypeQL Reference > Date](https://typedb.com/docs/typeql-reference/values/date.md) [TypeDB | Docs > TypeQL Reference > Datetime](https://typedb.com/docs/typeql-reference/values/datetime.md) [TypeDB | Docs > TypeQL Reference > DatetimeTZ](https://typedb.com/docs/typeql-reference/values/datetimetz.md) [TypeDB | Docs > TypeQL Reference > Decimal](https://typedb.com/docs/typeql-reference/values/decimal.md) [TypeDB | Docs > TypeQL Reference > Double](https://typedb.com/docs/typeql-reference/values/double.md) [TypeDB | Docs > TypeQL Reference > Duration](https://typedb.com/docs/typeql-reference/values/duration.md) [TypeDB | Docs > TypeQL Reference > Value types](https://typedb.com/docs/typeql-reference/values/index.md) [TypeDB | Docs > TypeQL Reference > Integer](https://typedb.com/docs/typeql-reference/values/integer.md) [TypeDB | Docs > TypeQL Reference > Lists](https://typedb.com/docs/typeql-reference/values/lists.md) [TypeDB | Docs > TypeQL Reference > String](https://typedb.com/docs/typeql-reference/values/string.md)