Мне всегда не хватало терпения для того, чтоб написать подобный текст или хотя бы слайд, да еще и с примерами (обычно я рассказываю что-то подобное просто размахивая руками). Но, наконец, я нашел заметку Inheritance and polymorphism: where the cracks in SQL begin to show, которую написал James Whiteside и слайд теперь обязательно нарисую.

Затрудняюсь сказать насколько хороши TypeDB и TypeQL, т.к. услышал о них впервые, но оказывается TypeDB уже была отмечена на недавнем техрадаре. В общем, надо бы присмотреться