Text this: Logic, Algebra and Databases /