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 Economy, Finance and Business in Southeastern and Central Europe by Zoran Majkić
Cover of the book Economics of Grids, Clouds, Systems, and Services by Zoran Majkić
Cover of the book Respiratory Carcinogenesis by Zoran Majkić
Cover of the book Numerical Methods and Modelling for Engineering by Zoran Majkić
Cover of the book The Impact of Digitalization in the Workplace by Zoran Majkić
Cover of the book Intercultural Cities by Zoran Majkić
Cover of the book Secure System Design and Trustable Computing by Zoran Majkić
Cover of the book The Future of University Education by Zoran Majkić
Cover of the book Health Informatics Data Analysis by Zoran Majkić
Cover of the book Impact of Biological Invasions on Ecosystem Services by Zoran Majkić
Cover of the book Reconciling Islam, Christianity and Judaism by Zoran Majkić
Cover of the book Family Resilience and Chronic Illness by Zoran Majkić
Cover of the book Use of Extraterrestrial Resources for Human Space Missions to Moon or Mars by Zoran Majkić
Cover of the book Embracing Global Computing in Emerging Economies by Zoran Majkić
Cover of the book Hybrid Intelligent Systems 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