Universal Algebra, Algebraic Logic, and Databases by B.I. Plotkin