BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Vaticle: Type theory as the unifying foundation for modern databas
 es - Haikal Pribadi (CS MPhil\, Cambridge)\, CEO/CTO at Vaticle and Christ
 oph Dorn (CS DPhil\, Oxford)\, Head of Research at Vaticle
DTSTART:20231127T130500Z
DTEND:20231127T135500Z
UID:TALK204502@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:If the term “type theory” sounds exciting to you\, chances
  are you are either a theoretical computer scientist or a mathematician. B
 ut with several high-profile successes of the field over the last two deca
 des\, it is becoming evident that type-theoretic mathematics has a lot to 
 teach us about designing the foundations of practical modern technology. I
 ndeed\, we are seeing an increasing number of applications of type-theoret
 ic ideas in the design of popular programming languages like Rust. But for
  databases\, type-theoretic thinking has found surprisingly little applica
 tion so far\, at least when it comes to the design of database languages a
 nd models themselves. This leaves much room for improvement and modernisat
 ion. With new type-theoretic mathematics at our disposal\, how would we re
 -think and re-design the foundations of modern databases from first princi
 ples?\n\nIn our talk\, we aim to give a first comprehensive answer to this
  question. We discuss a novel synthesis of type-theoretic thinking and cla
 ssical conceptual data modelling\, which results in a highly generalisable
  “polymorphic data model” and an intuitive query language. This solves
  several issues regarding the interoperability of existing systems and set
 s a new standard with regard to system extensibility and consistency guara
 ntees. We implemented this approach in TypeDB: the first “polymorphic da
 tabase” of its kind. We will describe in detail the motivations and desi
 gn choices that we made when building TypeDB\, together with its query lan
 guage TypeQL\, and discuss a set of interesting future challenges and oppo
 rtunities that we see lying ahead.\n\nRegistration link:\nhttps://forms.gl
 e/Kk8LfVZCF3RXR2Wm9\n\nSome catering will be provided.\n
LOCATION:FW26\, William Gates Building
END:VEVENT
END:VCALENDAR