Big Data Integration Theory

Big Data Integration Theory Synopsis

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/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics.

Features:

• provides an introduction to logics, co-algebras, databases, schema mappings and category theory
• describes the core concepts of big data integration theory, with examples
• examines the properties of the DB category
• defines the categorial RDB machine
• presents full operational semantics for database mappings
• discusses matching and merging operators for databases, universal algebra considerations and algebraic lattices of the databases
• explores the relationship of the database weak monoidal topos w.r.t. intuitionistic logic