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