TypeDB Blog

Learn from our journey building TypeDB & TypeQL.

How TypeDB enables self-adaptive robotics: A new approach to complex systems

Explore a new self-adaptive robotics framework using knowledge-based modeling, and how TypeDB can support this approach. Includes a new open robotics schema to help teams reason across task and system layers.

Cal Hemsley

TypeDB Studio is now in your browser

Explore knowledge graphs, design rich schemas, and write expressive queries—now instantly accessible in your browser.

Cal Hemsley

TypeDB 3.0 is now live

Announcing the public release of TypeDB 3.0. This represents a new bar for TypeDB in terms of performance, usability, maintainability, scalability, and security.

Cal Hemsley

Start faster on TypeDB with new learning materials

Over the past few months we've spent a lot of time building new learning material for TypeDB, and all of these materials are now available! No matter where you are on your TypeDB journey, there's something new for you to explore.

Dr. James Whiteside

The TypeDB 3.0 Roadmap

The upcoming release of version 3.0 will represent a major milestone for TypeDB: it will bring about fundamental improvements to the architecture and feel, and incorporate pivotal insights from our research and user feedback.

Dr. Christoph Dorn

New Foundations for Building with TypeDB

Our TypeQL paper was accepted at ACM SIGMOD/PODS'24, TypeDB Cloud now provides free-tier deployments, we built a new TypeDB Learning Course hand-in-hand with our new documentation, and more!

Haikal Ryclova-Pribadi

The theory of TypeQL: pioneering typeful query languages

Despite breaking with the traditions of long-established database query languages, TypeQL often feels deeply familiar even to first-time users of the language—this is because TypeQL is directly built on the principles of modern programming language theory, which distill how we intuitively interact with computers using simple, yet formal, structures: types.

Dr. Christoph Dorn

Introducing the Type Theory and Polymorphic Foundations of TypeDB

When we look at the evolution of databases in the last 40 years since relational algebra and SQL, even though there has been incredible progress in performance and operational capabilities, databases have yet to provide more powerful abstractions to express more advanced logic. Database models have failed to keep up with the rapid evolution of programming languages, and modern applications must use complex layered architectures to manage data as a result.

Haikal Ryclova-Pribadi

A New Era for TypeDB

When we started building TypeDB, we saw a continuously growing complexity of data in modern applications. Modern programming languages have evolved by introducing powerful abstractions and constructs to express more complex logic — JavaScript is succeeded by TypeScript, Python by Julia, Java by Kotlin, C/C++ by Rust, and Haskell emerging as the leader of functional languages. Modern languages all have a stronger and more expressive type system.

Haikal Ryclova-Pribadi

Feedback