Universal Algebra Algebraic Logic and Databases