TypeDB

TypeDB is an entity-relation database with a conceptual data model, a strong subtyping system, and a beautiful and elegant type-theoretic language: TypeQL. This server is about learning about new paradigms in database engineering and building with TypeDB and TypeQL.