---

This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration and exchange and peer-to-peer computing. Includes practical examples.

---

Introduction and Technical Preliminaries

Composition of Schema Mappings: Syntax and Semantics

Definition of DB Category

Functorial Semantics for Database Schema Mappings

Extensions of Relational Codd´s Algebra and DB Category

Categorial RDB Machines

Operational Semantics for Database Mappings

The Properties of DB Category

Weak Monoidal DB Topos

---

"All topics are studied in detail consistently in terms of category theory. ... Each chapter of the book ends with a couple of ´review questions´. Textbooks often provide teachers with supplementary material indicating the correct answer - surely this will also be the case here. Also by ´researchers interested in methods of computer science used in databases and logics, and the original contributions - a category theory applied to databases" will this book be well accepted." (Antonin Riha, zbMATH, Vol. 1325. 68004, 2016)
"The author has written a number of papers on data integration theory and this book is a compendium of these papers ... . It would be an ideal companion for a research student working with theoretical database concepts." (M. S. Krishnamoorthy, Computing Reviews, September, 2014)

---

Dr. Zoran Majkic is Chief Technology Advisor at Jumper Consulting Investment Ltd., Dublin, Ireland. He is also affiliated with the International Society for Research in Science and Technology, Tallahassee, FL, USA.

---