# typedb/typedb

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/typedb-typedb).**

4,353 stars · 366 forks · Rust · MPL-2.0

## Links

- GitHub: https://github.com/typedb/typedb
- Homepage: https://typedb.com
- awesome-repositories: https://awesome-repositories.com/repository/typedb-typedb.md

## Topics

`database` `inference` `knowledge-base` `knowledge-representation` `logic` `polymorphic` `polymorphism` `reasoning` `strongly-typed` `type-system` `typedb` `typeql`

## Description

TypeDB is a strongly-typed graph database and knowledge graph management system. It serves as a multi-model data store that unifies relational, document, and graph structures into a single environment, functioning as both an ACID compliant database and a declarative query engine.

The system distinguishes itself through the use of n-ary hypergraph modeling and polymorphic type hierarchies. It employs a strongly-typed schema to enforce structural rules and validate data integrity, allowing for type-based polymorphic inference and role-based interface polymorphism to resolve complex relationships automatically during query execution.

The platform covers a broad range of capabilities including the computation of recursive relationships via tabling, snapshot-isolation transactions, and declarative data retrieval. It also supports high availability through consensus-based cluster replication, role-based access control, and integration with AI agents for structured data retrieval.

Management is supported via a command-line interface, and the system provides tools for visualizing graph schemas and auditing administrative activity.

## Tags

### Data & Databases

- [Knowledge Graphs](https://awesome-repositories.com/f/data-databases/entity-relationships/knowledge-graphs.md) — Implements a strongly-typed system for building knowledge graphs that map complex semantic relationships between entities.
- [Hypergraph Modeling](https://awesome-repositories.com/f/data-databases/hypergraph-modeling.md) — Employs n-ary hypergraph modeling to represent complex relationships connecting multiple entities and attributes.
- [Knowledge Graph Management](https://awesome-repositories.com/f/data-databases/knowledge-graph-management.md) — Functions as a comprehensive system for managing interconnected data as nodes and edges to model complex information domains. ([source](https://typedb.com/llms.txt#home-page))
- [ACID Transactional Cores](https://awesome-repositories.com/f/data-databases/acid-transactional-cores.md) — Ensures database consistency and integrity through a core engine that provides ACID-compliant transaction processing. ([source](https://typedb.com/docs/core-concepts/typedb/overview))
- [Snapshot Isolation Techniques](https://awesome-repositories.com/f/data-databases/acid-transactional-cores/concurrent-read-write-transactions/snapshot-isolation-techniques.md) — Ensures database consistency and isolation through snapshot-isolation ACID transactions.
- [Atomic Transaction Execution](https://awesome-repositories.com/f/data-databases/data-integration-synchronization/data-integration/database-integrations/atomic-transaction-execution.md) — Processes reads, writes, and schema changes as isolated atomic units to guarantee database safety. ([source](https://typedb.com/docs/home/what-is-typedb))
- [Database Schema Constraints](https://awesome-repositories.com/f/data-databases/database-schema-constraints.md) — Implements strict database-level schema constraints to ensure logical consistency and structural integrity. ([source](https://typedb.com/blog))
- [Database Transaction Management](https://awesome-repositories.com/f/data-databases/database-transaction-management.md) — Provides programmatic control over the lifecycle of data operations to ensure consistency and stability. ([source](https://typedb.com/docs/academy))
- [Declarative Query Engines](https://awesome-repositories.com/f/data-databases/declarative-query-engines.md) — Features a declarative query engine that uses high-level patterns and polymorphic inference to find data without specified paths.
- [Declarative Query Languages](https://awesome-repositories.com/f/data-databases/declarative-query-languages.md) — Provides a declarative query language to retrieve information using polymorphic patterns without specifying exact paths. ([source](https://cdn.jsdelivr.net/gh/typedb/typedb@master/README.md))
- [Declarative Query Pipelines](https://awesome-repositories.com/f/data-databases/declarative-query-pipelines.md) — Provides a declarative query pipeline using polymorphic clauses to navigate complex relationships without specifying exact paths.
- [Declarative Schemas](https://awesome-repositories.com/f/data-databases/declarative-schemas.md) — Provides a declarative language to create structural blueprints that validate all subsequent data reads and writes. ([source](https://typedb.com/features))
- [Type Hierarchies](https://awesome-repositories.com/f/data-databases/document-processing-platforms/hierarchy-mapping/polymorphic-type-mapping/type-hierarchies.md) — Supports the definition of polymorphic type hierarchies where specialized types inherit properties from supertypes. ([source](https://typedb.com/features))
- [Entity Relationships](https://awesome-repositories.com/f/data-databases/entity-relationships.md) — Manages intricate data dependencies and polymorphic hierarchies where entities share common roles.
- [Graph-Relational Models](https://awesome-repositories.com/f/data-databases/graph-data-models/graph-relational-models.md) — Unifies relational, document, and graph structures into a single, strongly-typed multi-model environment. ([source](https://typedb.com/llms.txt#home-page))
- [Strongly-Typed Graph Databases](https://awesome-repositories.com/f/data-databases/graph-relational-databases/strongly-typed-graph-databases.md) — Functions as a strongly-typed graph database that validates all data and queries against a strictly enforced schema.
- [Hypergraph Modeling](https://awesome-repositories.com/f/data-databases/graph-relationship-modeling/hypergraph-modeling.md) — Implements a hypergraph structure where relations connect any number of objects and possess their own attributes. ([source](https://typedb.com/features))
- [Multi-Model Databases](https://awesome-repositories.com/f/data-databases/multi-model-databases.md) — Unifies relational, document, and graph data models into a single, strongly-typed storage environment.
- [Complex Data Modeling](https://awesome-repositories.com/f/data-databases/relational-data-modeling/complex-data-modeling.md) — Organizes intricate information using a combination of relational, document, and graph structures. ([source](https://cdn.jsdelivr.net/gh/typedb/typedb@master/README.md))
- [Polymorphic Relations](https://awesome-repositories.com/f/data-databases/relationship-modeling/one-to-many-relationship-models/polymorphic-relations.md) — Implements polymorphic relations where multiple distinct types can be mapped to a single role within a relation. ([source](https://typedb.com/docs/core-concepts/typeql/entities-relations-attributes))
- [Semantic Query Validation](https://awesome-repositories.com/f/data-databases/schema-enforcement-tools/strict-schema-enforcers/semantic-query-validation.md) — Enforces strict structural rules to identify and prevent logically impossible queries before they are executed.
- [Interconnected Data Retrieval](https://awesome-repositories.com/f/data-databases/search-indexing/complex-search-querying/recursive-graph-queries/interconnected-data-retrieval.md) — Enables retrieval of interconnected information by navigating complex relationship paths across diverse data models. ([source](https://typedb.com/llms.txt#typedb))
- [ACID-Compliant](https://awesome-repositories.com/f/data-databases/storage-engines/acid-compliant.md) — Provides a storage engine that ensures atomic, consistent, isolated, and durable operations.
- [Structured Data Schemas](https://awesome-repositories.com/f/data-databases/structured-data-schemas.md) — Provides tools for defining complex, strongly-typed data structures using entities and role-based relations. ([source](https://typedb.com/docs/home/get-started/overview))
- [Structured Data Modeling](https://awesome-repositories.com/f/data-databases/tuple-data-structures/structured-data-modeling.md) — Enables the construction of strongly-typed data models using entities and relations to enforce structural integrity. ([source](https://typedb.com/docs/core-concepts/typeql/))
- [Type-Based Polymorphic Inference](https://awesome-repositories.com/f/data-databases/type-based-polymorphic-inference.md) — Automatically resolves subtypes and inherited properties during query execution to retrieve data across hierarchical structures.
- [Attribute Constraints](https://awesome-repositories.com/f/data-databases/attribute-constraints.md) — Enforces data integrity using keys, uniqueness constraints, cardinality limits, and range restrictions on attributes. ([source](https://typedb.com/features))
- [Data Value Restrictions](https://awesome-repositories.com/f/data-databases/data-value-restrictions.md) — Enforces cardinality and value restrictions on attributes to ensure data correctness during insertion. ([source](https://typedb.com/docs/core-concepts/typeql/))
- [Horizontal Scaling](https://awesome-repositories.com/f/data-databases/horizontal-scaling.md) — Distributes data across server clusters to provide horizontal scalability and increased read capacity. ([source](https://typedb.com/features))
- [Polymorphic Data Operations](https://awesome-repositories.com/f/data-databases/polymorphic-data-modeling/polymorphic-data-operations.md) — Supports inserting, updating, and deleting data across multiple types and hierarchies using unified operations. ([source](https://typedb.com/docs/academy))
- [Query Abstraction Layers](https://awesome-repositories.com/f/data-databases/query-abstraction-layers.md) — Defines functions that encapsulate complex data lookups as a higher level of abstraction. ([source](https://typedb.com/docs/core-concepts/typeql/queries-as-functions))
- [Query Execution Pipelines](https://awesome-repositories.com/f/data-databases/query-execution-pipelines.md) — Utilizes a declarative query pipeline to chain clauses for retrieving data across diverse data models. ([source](https://typedb.com/docs/home/get-started/overview))
- [Recursive Relationship Querying](https://awesome-repositories.com/f/data-databases/recursive-relationship-querying.md) — Computes transitive closures and recursive relationships using tabling to prevent infinite loops during retrieval. ([source](https://typedb.com/docs/core-concepts/typeql/queries-as-functions))
- [Tabling-Based Recursive Computation](https://awesome-repositories.com/f/data-databases/recursive-relationship-querying/tabling-based-recursive-computation.md) — Computes recursive relationships and transitive closures using tabling to cache intermediate results and prevent cycles.
- [Semantic Query Validation](https://awesome-repositories.com/f/data-databases/semantic-query-validation.md) — Analyzes read and write operations against the schema to identify logically unsatisfiable queries before execution. ([source](https://typedb.com/features))
- [Schema-Integrated Logic Abstractions](https://awesome-repositories.com/f/data-databases/state-management-stores/predicate-based-state-management/ast-node-predicate-filtering/logic-library-abstractions/schema-integrated-logic-abstractions.md) — Captures complex logic within the schema to simplify queries and automate the inference of data. ([source](https://typedb.com/docs/academy))
- [Consensus-Based Replication](https://awesome-repositories.com/f/data-databases/storage-configuration/redundant-storage-configurations/consensus-based-replication.md) — Implements distributed consensus algorithms to ensure high availability and data synchronization across cluster nodes.

### Programming Languages & Runtimes

- [Subtype Inheritance](https://awesome-repositories.com/f/programming-languages-runtimes/class-inheritance/multiple-inheritance/interface-based-type-inheritance/subtype-inheritance.md) — Establishes subtyping hierarchies where specialized types inherit all interfaces and implementations from a supertype. ([source](https://typedb.com/docs/core-concepts/typeql/entities-relations-attributes))

### Software Engineering & Architecture

- [Data Schema Validation](https://awesome-repositories.com/f/software-engineering-architecture/data-schema-validation.md) — Enforces type safety and data consistency by validating inserted data against the defined schema. ([source](https://typedb.com/docs/home/what-is-typedb))
- [Strongly-Typed Schema Validation](https://awesome-repositories.com/f/software-engineering-architecture/data-schema-validation/data-type-validation/strongly-typed-schema-validation.md) — Enforces a strongly-typed schema to validate all read and write operations against a structural blueprint.
- [Role-Based Interface Polymorphism](https://awesome-repositories.com/f/software-engineering-architecture/interface-based-polymorphism/role-based-interface-polymorphism.md) — Implements role-based interface polymorphism to allow different entity types to be used interchangeably within a single relation role.
- [Subtype Hierarchies](https://awesome-repositories.com/f/software-engineering-architecture/schema-based-type-systems/type-hierarchies/subtype-hierarchies.md) — Supports subtype hierarchies that allow queries to automatically handle inherited data types via polymorphism. ([source](https://typedb.com/docs/home/what-is-typedb))
- [Schema-Driven Relationship Inference](https://awesome-repositories.com/f/software-engineering-architecture/typescript-type-definitions/schema-driven-type-inference/schema-type-inference/schema-driven-relationship-inference.md) — Automatically resolves types and subtypes using a typed schema to remove the need for manual query updates. ([source](https://typedb.com/))
- [Query Logic Encapsulation](https://awesome-repositories.com/f/software-engineering-architecture/reusable-component-architectures/logic-reusability-patterns/query-logic-encapsulation.md) — Allows wrapping recurring data request patterns into reusable functions to simplify complex operations. ([source](https://typedb.com/docs/core-concepts/typeql/))
- [Transactional Migration Managers](https://awesome-repositories.com/f/software-engineering-architecture/transactional-migration-managers.md) — Executes schema migrations within atomic transactions to maintain data integrity during model updates. ([source](https://typedb.com/features))

### Artificial Intelligence & ML

- [Agentic Data Integrations](https://awesome-repositories.com/f/artificial-intelligence-ml/agentic-data-integrations.md) — Provides structured data retrieval and machine-readable schemas for integration with AI agents and automation frameworks.

### DevOps & Infrastructure

- [Database High Availability](https://awesome-repositories.com/f/devops-infrastructure/high-availability-clustering/database-high-availability.md) — Ensures continuous service availability across nodes using a replication system based on consensus algorithms. ([source](https://typedb.com/docs/core-concepts/typedb/overview))

### Security & Cryptography

- [Database Access Controls](https://awesome-repositories.com/f/security-cryptography/granular-access-controls/database-access-controls.md) — Implements role-based access control to restrict database access to authorized principals. ([source](https://typedb.com/features))