On Tarski's Relation Algebra: Querying trees and chains, and the semi-join algebra

Jelle Hellings. On Tarski's Relation Algebra: Querying trees and chains, and the semi-join algebra. PhD thesis, Hasselt University, Belgium, 2018. [doi]

Abstract

Abstract is missing.