TypeDB is a distributed knowledge graph: a logical database to organise large and complex networks of data as one body of knowledge.
|Whether you are new to coding or an experienced developer, it’s easy to learn and use TypeDB. Get set up quickly with quickstart tutorial.||Documentation for TypeDB’s development library and TypeQL language API, along with tutorials and guides, are available online. Visit our documentation portal.||When you’re stuck on a problem, collaborating helps. Ask your question on StackOverflow or discuss it on our Discussion Forum.|
Meet TypeDB and TypeQL
TypeDB is a distributed knowledge graph: a logical database to organise large and complex networks of data as one body of knowledge. TypeDB provides the knowledge engineering tools for developers to easily leverage the power of Knowledge Representation and Automated Reasoning when building complex systems. Ultimately, TypeDB serves as the knowledge-base foundation for intelligent systems.
TypeQL is TypeDB's reasoning and analytics query language. It provides an expressive knowledge schema language through an enhanced entity-relationship model, transactional queries that perform deductive reasoning in real-time, and analytical queries* with native distributed Pregel and MapReduce algorithms. TypeQL provides a strong abstraction over low-level data constructs and complex relationships. (* analytics queries are temporarily unavailable in 2.0.0)
TypeQL is distributed as an open-source technology, while TypeDB comes in two forms: TypeDB - open-source, and TypeDB Cluster - our enterprise distributed knowledge graph.
TypeDB provides an enhanced entity-relationship schema to model complex datasets. The schema allows users to model type hierarchies, hyper-entities, hyper-relationships, and rules. The schema can be updated and extended at any time in the database lifecycle. Hyper-entities are entities with multiple instances of a given attribute, and hyper-relationships are nested relationships, cardinality-restricted relationships, or relationships between any number of entities. This enables the creation of complex knowledge models very easily and allows them to evolve flexibly.
Under the hood, TypeDB has an expressive knowledge representation system based on hypergraph data structures (that generalises an edge to be a set of vertices - non-binary). TypeQL is TypeDB’s reasoning (through OLTP) and analytics (through OLAP) declarative query language.
TypeDB’s query language performs logical inference through deductive reasoning of entity types and relationships, to infer implicit facts, associations, and conclusions in real-time, during runtime of OLTP queries. The inference is performed through entity and relationship type reasoning, as well as rule-based reasoning. This allows the discovery of facts that would otherwise be too hard to find, the abstraction of complex relationships into its simpler conclusion, as well as translation of higher-level queries into the lower level and more complex data representation.
Distributed Analytics (temporarily unavailable in 2.0.0)
TypeDB’s query language performs distributed Pregel and MapReduce (BSP) algorithms abstracted as OLAP queries. These types of queries usually require custom development of distributed algorithms for every use case. However, TypeDB creates an abstraction of these distributed algorithms and incorporates them as part of the language API. This enables large scale computation of BSP algorithms through a declarative language without the need of implementing the algorithms.
With the expressivity of the schema, inference through OLTP, and distributed algorithms through OLAP, TypeDB provides a strong abstraction over low-level data constructs and complicated relationships through its query language. The language provides a higher-level schema, OLTP, and OLAP query language, which makes working with complex data a lot easier. When developers can achieve more by writing less code, the productivity rate increases by orders of magnitude.
Download and Run TypeDB
You can visit the Setup Guide to help your installation.
Compiling TypeDB from Source
Note: You don't need to compile TypeDB from the source if you just want to use TypeDB. See the "Download and Run TypeDB" section above.
- Make sure you have the following dependencies installed on your machine:
- Java JDK 11 or higher
- Python 3 and Pip 18.1 or higher
- Bazel 3.3.1 or higher. We use Bazelisk to manage Bazel versions which runs the build with the Bazel version specified in
.bazelversion. In order to install it, follow the platform-specific guide:
- macOS (Darwin):
brew install bazelbuild/tap/bazelisk
wget https://github.com/bazelbuild/bazelisk/releases/download/v1.4.0/bazelisk-linux-amd64 -O /usr/local/bin/bazel
- macOS (Darwin):
- Depending on your Operating System, you can build TypeDB with either one of the following commands:
$ bazel build //:assemble-linux-targz
$ bazel build //:assemble-mac-zip
$ bazel build //:assemble-windows-zip
TypeDB & TypeQL has been built using various open-source Graph and Distributed Computing frameworks throughout its evolution. Today TypeDB & TypeQL is built using RocksDB, ANTLR, SCIP, Bazel, GRPC, and ZeroMQ, and Caffeine. In the past, TypeDB was enabled by various open-source technologies and communities that we are hugely thankful to: Apache Cassandra, Apache Hadoop, Apache Spark, Apache TinkerPop, and JanusGraph. Thank you!
This product includes software developed by Vaticle. It's released under the GNU Affero GENERAL PUBLIC LICENSE, Version 3, 19 November 2007. For license information, please see LICENSE. Vaticle also provides a commercial license for TypeDB Cluster - get in touch with our team at email@example.com.
Copyright (C) 2021 Vaticle