TypeDB

Vaticle, formerly known as Grakn Labs Ltd, is a London-based software company founded in 2015 by Haikal Pribadi. The company is the developer of TypeDB, an intelligent database platform designed to manage complex datasets as a knowledge graph. Pribadi, a computer scientist with a background in robotics, optimization theory, and intelligent systems from institutions like the University of Cambridge, designed and engineered the core technology. His journey began in software engineering and robotics, including work with NASA JPL, which provided him with the expertise to address complex data challenges. This led to the creation of Vaticle's logical database to serve as a foundation for cognitive and intelligent systems.

The company's primary offering is TypeDB, a database that models data based on the principles of a polymorphic entity-relation-attribute model. It aims to overcome the limitations of traditional databases by unifying the capabilities of relational, document, and graph databases. TypeDB utilizes a rich, expressive type system that enforces data semantics and validates queries to prevent nonsensical operations. This architecture is built to handle highly interconnected data without losing structure or semantic meaning. Its core features include a conceptual data model, a strong subtyping system, and a symbolic reasoning engine that can automatically deduce new facts and relationships from existing data. This makes it particularly suitable for applications in life sciences, cybersecurity, finance, and robotics where context and inference are critical.

To interact with the database, Vaticle developed TypeQL, a query language designed to be more declarative and intuitive than traditional languages like SQL. TypeQL's structure is intended to resemble natural language and allows for high-level logical abstractions, which can significantly simplify queries for complex data patterns. The platform includes tools like TypeDB Studio, a graphical user interface for schema management, data querying, and visualization. Vaticle operates with a business model that includes an open-source community edition of TypeDB and a usage-based cloud offering, providing native API drivers for a variety of programming languages including Python, Java, and Rust. The company has secured approximately $10.8 million in total funding over several rounds to support its growth and the continued development of its database technology.

Keywords: TypeDB, Vaticle, database software, knowledge graph, TypeQL, logical database, data modeling, symbolic reasoning, polymorphic database, Haikal Pribadi, intelligent systems, complex data, data semantics, query language, open source database, graph database, AI database, data infrastructure, conceptual data modeling, inference engine