Gianluca Paolini : Database Independence, Boolean Algebras and Independence Logic

Posted by Joseph Zielinski , part of the Louise Hay Logic Seminar.

At

Jan. 15, 2015, 4 p.m.

In

SEO 427

Abstract

We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless boolean algebras. This establishes strong connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov, the latter case of independence can be seen as the measure-theoretic version of the former.