TypeDB介绍

目录

• 产品简介
• 产品版本
• 所属公司
• 产品特点

产品简介

TypeDB是一个开源的、分布式的、强类型的数据库，具有丰富的逻辑类型系统。TypeDB 使您能够解决复杂的问题，TypeQL 是它的查询语言。TypeDB 允许您根据逻辑和面向对象的编程原则对您的域进行建模。由实体、关系和属性类型以及类型层次结构、角色和规则组成，TypeDB 允许您进行更高层次的思考，而不是使用连接表、列、文档、顶点等较低层次的概念，边缘和属性。

产品版本

TypeDB 有两个版本：开源版本和商业版本（TypeDB Cluster）。
开源版本可在 GNU Affero 通用公共许可证第 3 版下获得。这是免费的，但由于缺乏集群并且没有安全性，因此仅限于在一个节点上运行。
商业产品 TypeDB Cluster 允许高可用性、水平可扩展性和安全性。TypeDB Cluster 在闭源商业许可下可用。

所属公司

TypeDB 由Vaticle Ltd开发。并根据GNU Affero 通用公共许可证发布。

产品特点

• 表现力
  · 实体关系模型
  TypeDB 允许您使用众所周知的实体关系(ER) 模型对您的域进行建模。它由实体类型、关系类型和属性类型组成，并引入了角色类型。TypeDB 允许您利用 ER 模型的完整表达能力，并通过范式描述您的模式。
  · 类型层次结构
  TypeDB 允许您轻松地将类型继承建模到您的域模型中。遵循逻辑和面向对象的原则，TypeDB 允许数据类型继承其超类型的行为和属性。复杂的数据结构变得可重用，数据解释通过多态变得更丰富。
  · N元关系
  在现实世界中，关系不仅仅是两件事之间的二元联系。在丰富的系统中，我们经常需要同时捕获三个或更多彼此相关的事物。将它们表示为单独的二元关系会丢失信息。TypeDB 可以自然地将任意数量的事物表示为一个关系。
  · 嵌套关系
  关系是我们用来描述两个或多个事物之间关联的概念。有时，这些东西本身就是关系。TypeDB 可以自然地表示这些结构，因为它允许将关系嵌套在另一个关系中，从而允许您以自然的形式表达系统的模型。
• 安全
  · 逻辑数据验证
  插入的数据在属性值类型的静态类型检查之外得到验证。实体被验证为仅具有正确的属性，而关系被验证为仅关联逻辑上允许的事物。TypeDB 通过评估所涉及事物的多态类型来对插入的实体和关系进行更丰富的验证。
  · 逻辑查询验证
  在 TypeDB 上执行的读取查询会经过一个类型解析过程。这个过程不仅优化了查询的执行，而且作为一个静态类型检查器来拒绝无意义和不满意的查询，因为它们很可能是用户错误。
• 逻辑推理
  · 规则
  TypeDB 允许您在架构中定义规则。这扩展了模型的表达能力，因为它使系统能够在满足数据集中的某种逻辑形式时得出新的结论。就像编程中的函数一样，规则可以相互链接，在数据级别创建行为抽象。
  · 推理
  TypeDB 的推理工具将一个查询翻译成所有可能的解释。这通过两种机制发生：基于类型的推理和基于规则的推理。这不仅可以得出新的结论并揭示原本会被隐藏的关系，而且还可以将复杂的模式抽象为简单的查询。
• 来源 https://www.modb.pro/wiki/1336