Big Data Integration Theory

Theory and Methods of Database Mappings, Programming Languages, and Semantics

Häftad, Engelska, 2016

Av Zoran Majkić, Zoran Majkic, Zoran Majki¿

719 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

719 kr

Skickas inom 10-15 vardagar

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.

Produktinformation

Utgivningsdatum2016-09-17
Mått155 x 235 x 29 mm
Vikt803 g
FormatHäftad
SpråkEngelska
SerieTexts in Computer Science
Antal sidor516
FörlagSpringer International Publishing AG
ISBN9783319355399

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap
Diskret matematik inom Naturvetenskap och teknik
Tillämpad datateknik inom Data och it
Databaser inom Data och it
Människa – datorinteraktion inom Data och it

“All topics are studiedin detail consistently in terms of category theory. … Each chapter of the bookends with a couple of ‘review questions’. Textbooks often provide teachers withsupplementary material indicating the correct answer – surely this will also bethe case here. Also by ‘researchers interested in methods of computer scienceused in databases and logics, and the original contributions – a categorytheory 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)