Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly,

This textbook examines database systems from the viewpoint of a software developer. This perspective makes it possible to investigate why database systems are t

Covers the important requirements of teaching databases with a modular and progressive perspective. This book can be used for a full course (or pair of courses)

A timely survey of the field from the point of view of some of the subject's most active researchers. Divided into several parts organized by theme, the book fi