Louise Hay Logic Seminar
Gianluca Paolini
University of Helsinki
Database Independence, Boolean Algebras and Independence Logic
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.
Thursday January 15, 2015 at 4:00 PM in SEO 427