TypeDB Lecture: The Polymorphic Data Model With Types

00:00 - Introduction
01:33 - Big picture: why databases with types?
06:02 - PART I: Concepts and instances
06:11 - Defining concepts
08:11 - Objects vs. values
11:21 - Type dependency
14:07 - Conceptualization
16:47 - Summary of concept terminology
18:37 - PART II: The data model
18:56 - Four kinds of types
21:32 - Subtyping
23:39 - Inheritance polymorphism
24:58 - Interface polymorphism
28:49 - Entity types
32:10 - Relation types
36:13 - Attribute types
39:12 - Role interfaces
42:18 - Ownership interfaces
43:45 - Data in types
51:12 - Conditions on data
54:42 - Summary of the model
56:51 - PART III: Comparison to other models
57:45 - Types in the Relational model
1:00:12 - Relational model example
1:03:06 - Types in the Graph model
1:04:44 - Graph model example
1:07:02 - Types in the Document model
1:09:21 - Document model example
1:12:48 - Comparing type diagrams
1:14:56 - Summary of comparisons
1:16:25 - Beyond the basics: querying and reasoning
1:18:19 - Querying with interfaces
1:21:21 - Querying with inheritance
1:22:52 - Reasoning
1:24:10 - Summary
1:24:51 - Lecture Review

In this 90-minute lecture we give an in-depth introduction to the Polymorphic Data Model. The model, fully spelled out as "Polymorphic Entity-Relation-Attribute" (PERA) model, underlies the type-theoretic query language TypeQL.

The talk is based on a forthcoming academic paper detailing the theoretic aspects of the query language TypeQL and the PERA model, and will be published in the Proceedings of the ACM on the Management of Data (PACMMOD).

[aproperhooligan]

Really good lecture, Christoph. The information you shared is a useful aid to understand the power/benefit of TypeDB as a modern approach to data management. I look forward to the next one.

[rbrtrbrt]

@Typedb: I think the third lecture isn't on Youtube. Can we find it somewhere else? Thanks, very interesting!!