typedb ☆

« Back to VersTracker

Description:
Strongly-typed database with a rich and logical type system

Type: Formula | Tracked Since: Dec 17, 2025

Links: Homepage | @typedb | formulae.brew.sh

Category: Databases

Tags: database graph typedb knowledge-graph reasoning type-system

Install: brew install typedb

About:
TypeDB is an open-source, strongly-typed database that combines the power of relational and graph models with an expressive type system. It uses a native knowledge graph approach to store data as interconnected entities and relations, enabling complex data modeling and reasoning. The system features a declarative query language, TypeQL, for sophisticated data retrieval and analysis.

Key Features:

Strongly-typed data model based on first-order logic
Native graph storage and reasoning capabilities
Declarative query language (TypeQL) for complex patterns
Supports both OLTP and OLAP workloads
Open-source with a vibrant community

Use Cases:

Knowledge graph construction and reasoning
Complex data integration and analytics
AI and machine learning data pipelines
Identity and access management systems

Alternatives:

Neo4j – Neo4j is a native graph database, while TypeDB adds a strong type system and logical reasoning capabilities on top of its graph model.
PostgreSQL – PostgreSQL is a relational database; TypeDB offers a more flexible, graph-oriented schema with built-in reasoning, though it lacks the same maturity and ecosystem.

Version History

Detected	Version	Rev	Change	Commit
Dec 17, 2025 11:11am		0	VERSION_BUMP	6afae7d9