TypeDB

TypeDB is a polymorphic database with a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a beautiful and elegant type-theoretic language: TypeQL.

TypeDB has 3 basic types :

  • Entity
  • Relation
  • Attribute

Everything defined into the database must be a subtype or this 3 basics types.

define 
   subject sub entity,
       owns name,
       plays verb:subject;

   object sub entity,
       owns name,
       plays verb:object;

   verb sub relation,
       owns name,
       related subject,
       related object;

   name sub attribute, value string;

TypeDB is based on the most advanced tools in mathematics : the type theory.

First ; Is there any plan to connect Tcl to TypeDB ?

Second : Is there any plan in Tcl to introduce semantics types ?