Big Data Integration Theory

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

Nonfiction, Computers, Database Management, General Computing, Programming
Cover of the book Big Data Integration Theory by Zoran Majkić, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Zoran Majkić ISBN: 9783319041568
Publisher: Springer International Publishing Publication: January 23, 2014
Imprint: Springer Language: English
Author: Zoran Majkić
ISBN: 9783319041568
Publisher: Springer International Publishing
Publication: January 23, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Biomedical Applications Based on Natural and Artificial Computing by Zoran Majkić
Cover of the book Springer Handbook of Odor by Zoran Majkić
Cover of the book Dynamical Systems on 2- and 3-Manifolds by Zoran Majkić
Cover of the book Time-Series Prediction and Applications by Zoran Majkić
Cover of the book Editors Construct the Renaissance Canon, 1825-1915 by Zoran Majkić
Cover of the book Analysis and Geometry by Zoran Majkić
Cover of the book Early Modern Black Diaspora Studies by Zoran Majkić
Cover of the book History, Empathy and Conflict by Zoran Majkić
Cover of the book Atlas of Wide-Field Retinal Angiography and Imaging by Zoran Majkić
Cover of the book Surprise: An Emotion? by Zoran Majkić
Cover of the book Reviews in Fluorescence 2015 by Zoran Majkić
Cover of the book Food Waste Reduction and Valorisation by Zoran Majkić
Cover of the book Parallel Processing and Applied Mathematics by Zoran Majkić
Cover of the book Determinants of Economic Growth in Africa by Zoran Majkić
Cover of the book Advanced Topics in Nonsmooth Dynamics by Zoran Majkić
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy