1. X
  2. TypeDB
Log inSign up
TypeDB
712 posts
Image
user avatar
TypeDB
@TypeDB_
Build database applications faster, safer, and more elegantly
London and New York
typedb.com
Joined January 2016
964
Following
2,043
Followers
RepliesRepliesMediaMedia
  • user avatar
    TypeDB
    @TypeDB_
    Mar 29, 2024
    We're proud to announce that our TypeQL paper was accepted at @TheOfficialACM SIGMOD/PODS'24! TypeDB Cloud is now available on @googlecloud, @awscloud, & @Azure, all with #free deployments. Finally, #typedb & #typeql gets a new #OSS license: @mozilla Public License!
  • user avatar
    TypeDB
    @TypeDB_
    Nov 27, 2023
    #Databases have come a long way since the navigational databases of the 1960s. The #relational, #document, and #graph #database paradigms have each profoundly impacted the way we store and query data, but many fundamental engineering challenges remain. Why is object-relational
    Image
  • user avatar
    TypeDB
    @TypeDB_
    Nov 23, 2023
    With new type-theoretic mathematics at our disposal, how would we re-think the foundations of modern databases in the best possible way? In his lecture, Dr. Christoph Dorn, #TypeDB's Head of Research provides a comprehensive answer to this key question. typedb.com/lectures/type-…
    #TypeDB Lecture's on Type Theory as The Unifying Foundation for Modern Databases is now available for viewing on typedb.com/lectures/type-theory.

With new type-theoretic mathematics at our disposal, how would we re-think and re-design the foundations of modern databases in the best possible way?

In the first of TypeDB Fundamentals Lecture Series, we discuss the mathematical origins of the most prominent database paradigms, how contemporary mathematics re-thinks these foundations with type theory and explained how conceptual modeling theory enables "highly generalizable data models". Finally we discuss the synthesis of conceptual data models and type theory to create a new "unified" foundation for the modern #database, that subsumes #sql, #mongodb, and #graphdatabase.
  • user avatar
    TypeDB
    @TypeDB_
    Aug 16, 2023
    Three simple queries illuminate exactly how #Postgres, #MongoDB, and #Neo4j are unable to implement a safe, intuitive type system, causing headaches for developers. Only #TypeDB can bring the principles of subtyping and polymorphism to the database. blog.vaticle.com/the-need-for-s…
  • user avatar
    TypeDB
    @TypeDB_
    Jul 7, 2023
    We are incredibly excited to share with you the incredible work our team have been doing over the past year. This year, we’ll be sharing with you the research we’ve done on applications of #TypeDB in a wide range of advanced domains. community.typedb.com/a-new-era-for-…
    Image

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement