TypeDB Lectures
An introduction to TypeDB for language architects
- Lecture
- Date/Time:On-Demand
- Duration: 40 minutes
TypeDB brings two foundational and far-reaching advances to modern database technology. First, TypeDB unifies all existing data models in a single universal framework, which is based on two simple but powerful ideas, and which elegantly eliminates the need for managing foreign keys, join tables, or nesting of data. Second, TypeDB's query language, TypeQL, provides intuitive access to the data model by constructing queries as typed patterns, and thereby abolishing the traditional operator-centric view of query languages and allowing users to write complex, nested queries using in a single elegant pattern. In this presentation, Haikal and Christoph discuss these two points in-depth, focusing on the joy of designing principled programming languages, and what the future will hold for TypeDB, its query language TypeQL, and its ecosystem.
Before joining TypeDB, Christoph has led cutting-edge research in Theoretical Computer Science and Mathematics at the University of Oxford, where he also completed his PhD in Computer Science in 2019. He worked in the areas of Higher-Dimensional Category Theory and Computable Geometry, and co-wrote a book on the mathematical foundations for a synthesis of these two subjects. Christoph has been closely following the movement of type-theoretic databases over the past several years, and shares our vision at TypeDB to bring theory and practice together in order to built the next generation framework for modern databases applications.
Haikal is a Computer Scientist and the Founder and CEO of TypeDB. His work began in robotics in collaboration with NASA JPL, and at the University of Cambridge. Today, after nearly a decade, Haikal and his team in London work on building TypeDB: a next-generation database with a modern programming paradigm. TypeDB lets you build modern data applications faster, safer, and more elegantly.
