Consistency, Acyclicity, and Positive Semirings

Explore the connections between local consistency, global consistency, and acyclicity in a 38-minute lecture by Phokion Kolaitis from UC Santa Cruz and IBM Research. Delve into a generalization of earlier work on probability distributions and relational database theory by examining K-relations over arbitrary positive semirings. Discover how the property of global consistency for pairwise consistent collections of K-relations is linked to the acyclicity of hypergraphs formed by sets of attributes. Learn about joint research with Albert Atserias from UPC Barcelona, featured in the "Samson Abramsky on Logic and Structure in Computer Science and Beyond" volume. Gain insights into the application of logic and algebra in query evaluation, drawing from both theoretical foundations and practical implications in computer science.