
ALT #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.







