TypeDB

50 years ago, Codd’s formulation of relational algebra was a breakthrough moment for database theory, providing a set of simple, general, and performant data operations. Since then, the mathematical landscape of programming languages has changed dramatically, replacing low-level algebraic operations with high-level type-theoretic constructs. In our very first #TypeQL paper, we present the foundational synthesis of modern type-theoretic programming principles and database languages, based on which we craft our query language. We are proud and honored to announce that our #paper, TypeQL: A Type-Theoretic & Polymorphic Query Language, has been officially accepted for publication at #ACM SIGMOD/PODS 2024! @ACM, Association for Computing Machinery But that's not all the news we'd like to share today. TypeDB #Cloud is now available on Google Cloud Platform, Amazon Web Services (AWS), and Microsoft Azure, all with #free-tier deployments. We have a new TypeDB Learning Course, Documentation, and C# Driver. And finally, #TypeDB gets a new #opensource license: Mozilla Public License 2.0. https://lnkd.in/eGsNfKr4

We are incredibly excited have 🍍 Callum Hemsley join us as our new COO, and help us lead our next chapter of growth! Welcome aboard, Callum!

We are excited to announce that the next major version of TypeDB is around the corner: version 3.0 will bring fundamental improvements to the architecture and feel of TypeDB, and incorporate pivotal insights from user feedback and our research. Moreover, TypeDB 3.0 will be written in #Rust, replacing the #Java codebase and JRE, and promising significant gains in performance and application safety. While we are busy finalizing the details of version 3.0, we are happy to finally share with you a first look at what is to come! TypeDB replaces what are often multi-layered tech stacks with a single, high-level, and #declarative #database #programming model. The upcoming release of version 3.0 will strongly refine this novel database programming model, extending TypeDB’s type system with powerful new constructs and improving developer experience across the board. We've implemented these improvements in an exceptionally principled way, following a new #functional database programming model. The model combines traditional database wisdom with modern type-first functional programming languages. https://lnkd.in/et5CYXpm

50 years ago, Codd’s formulation of relational algebra was a breakthrough moment for database theory, providing a set of simple, general, and performant data operations. Since then, the mathematical landscape of programming languages has changed dramatically, replacing low-level algebraic operations with high-level type-theoretic constructs. In our very first #TypeQL paper, we present the foundational synthesis of modern type-theoretic programming principles and database languages, based on which we craft our query language. We are proud and honored to announce that our #paper, TypeQL: A Type-Theoretic & Polymorphic Query Language, has been officially accepted for publication at #ACM SIGMOD/PODS 2024! @ACM, Association for Computing Machinery But that's not all the news we'd like to share today. TypeDB #Cloud is now available on Google Cloud Platform, Amazon Web Services (AWS), and Microsoft Azure, all with #free-tier deployments. We have a new TypeDB Learning Course, Documentation, and C# Driver. And finally, #TypeDB gets a new #opensource license: Mozilla Public License 2.0.

A big challenge in the field of knowledge representation formalisms is the large variety of data that we encounter on a daily basis. For this reason, many different data models, each with their own specific modeling paradigm, have emerged over the past decades. Among the most prominent such data models, one finds, for instance, the relational model, the document model, the triplestore/RDF data model, the graph model, and others. In practice, real-world needs rarely fit perfectly into a single such model, and instead, data often exhibits characteristics that extend and interpolate between multiple different data models. One way this issue has been previously addressed is by turning to ‘multi-model’ approaches. These, however, require the modeler to carefully ensure interoperability between the models in use. TypeDB follows a different approach: instead of providing many different modeling paradigms, it provides a single, highly expressive model, that is natively compatible with many of the models listed above. TypeDB’s model is based on a polymorphism-enhanced conceptual approach: which, as in traditional conceptual data models, structures data into three natural categories of ‘entities’ (independent object types), ‘relations’ (dependent object types), and ‘attributes’ (dependent or independent value types), but in addition, provides native facility for expressing inheritance and interface polymorphism of these types. Join us in our first TypeDB Lecture of this year, where our Head of Research, Dr. Christoph Dorn, will be sharing with us how to think in TypeDB's polymorphic data model.

There are three fundamental forms of polymorphism in computer science: inheritance polymorphism, interface polymorphism, and parametric polymorphism. In order to be fully polymorphic, a database must implement all three kinds. It must be able to interpret queries about a given type, that operate on instances of that type and all its subtypes. It must be able to interpret queries about a given interface type, that operate on instances of all types that implement it. And it must be able to interpret queries about parametrized types, that operate on instances of all types supplied as parameters. This past Tuesday, in the third of TypeDB Fundamentals Lecture Series, our Research Engineer, Dr. James Whiteside, shared an excellent lecture on how TypeDB is the world’s first #polymorphic #database. It has a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a type-theoretic query language: TypeQL. TypeDB is able to interpret all three kinds of polymorphic queries. For those who didn't get to watch the #TypeDB Lecture on Tuesday, you can now watch the recording and download the lecture slides at https://lnkd.in/eRNrBR3z #relational #sql #mongodb #graphdatabase #nosql #nosqldatabase

There are three fundamental forms of #polymorphism in computer science: #inheritance polymorphism, #interface polymorphism, and #parametric polymorphism. In order to be fully polymorphic, a #database must implement all three kinds. It must be able to interpret queries about a given type, that operate on instances of that type and all its subtypes. It must be able to interpret queries about a given interface type, that operate on instances of all types that implement it. And it must be able to interpret queries about parametrized types, that operate on instances of all types supplied as parameters. TypeDB is the world’s first polymorphic database. It has a conceptual data model, a strong subtyping system, a symbolic reasoning engine, and a type-theoretic query language: TypeQL. TypeDB is able to interpret all three kinds of polymorphic queries. Those queries are truly declarative: it is not necessary to enumerate the types that are operated on. This is due to type inference, a process by which TypeDB infers the list of types that fit the query pattern and searches for instances of all of them. The strongly typed schema provides the necessary context for type inference, so the results are always type-safe. The ability to interpret declarative polymorphic queries brings unmatched expressivity and safety to the database, not possible with previous database paradigms.