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 :
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 ?