TypeDB is a polymorphic database with a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and an elegant type-theoretic language: TypeQL. TypeDB empowers you to efficiently tackle complex problems in a large variety of application domains.

The polymorphic database paradigm

TypeDB is based on a new, expressive database paradigm comprising four key ingredients.

• The polymorphic data model of TypeDB structures data in schemas of entities, relations, and attributes, enhanced with polymorphism. This allows you to build database applications directly on conceptual data models, which are commonly used for high level representations of domains and their data.

• All components of the polymorphic data model are captured by a continuously extensible strong type system. This enables both the semantic validation of queries, avoiding inconsistencies in data insertions or query patterns, and fully extensible database schemas, minimizing the required maintenance for queries and logical rules.

• TypeQL is a fully declarative query language, tailored to the type system of TypeDB. Queries comprise composable declarative patterns, in which all data or types can be queried for as variables. This results in an expressive and intuitive language that makes it easy to manage, query, and reason over complex data structures.

• The type-theoretic language of TypeDB facilitates a powerful native reasoning engine, in which rules are written using patterns, just like queries. Highly complex logical behaviors can be described using rules that are individually very simple, mirroring the true semantic logic of complex data domains.

The polymorphic database paradigm of TypeDB provides native interoperability with object-oriented principles and other common database paradigms, including graph and relational databases.

Learn more about the Philosophy behind TypeDB.

High efficiency database engineering

TypeDB breaks down the patchwork of existing database paradigms into simple conceptual ingredients, providing a unified way to work with data across all database applications, and this directly impacts application development in several ways.

• Work directly with high-level conceptual models eliminating the need for specific physical-level representations, and enjoy continuous extensibility of your schema

• Make use of full object model parity when working with object-oriented programming languages.

• Use simple and effective rule-based reasoning to integrate complex application logic into your database design.

• Let TypeDB's inference engine guarantee data consistency at all times.

• Write high-clarity code with TypeQL's near-natural queries even for the most complex data structures.

• Unleash the power of fully declarative and composable patterns onto your data.

• Work directly in TypeDB’s beautiful IDE: TypeDB Studio. 

Visit TypeDB.com to get started!

• Life sciences: TypeDB makes working with biological data much easier and accelerates the knowledge discovery process (for examples, read more and see Github).
• Security & defence: TypeDB allows security professionals to leverage complex sources of data to make decisions in defence of national security (for examples, read more and see Github).
• Robotics: TypeDB enables the creation of robotics and autonomous vehicles by enabling them to make the right behavioural decisions to achieve real-time tasks.
• ​Financial Services: TypeDB allows the integration of hugely complex financial networks of data in a simple and intuitive way.
  

Apache for language drivers, and AGPL and Commercial for the database server.

The commercial license is priced based on cluster resources of a hosted TypeDB instance on Google Cloud Platform and Amazon Web Services. Visit TypeDB Cluster or contact our enterprise team to learn more.