Title: Logic, Algebra and Databases