Universal Algebra, Algebraic Logic, and Databases