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 Virtual Sociocultural Convergence by Zoran Majkić
Cover of the book Deep Brain Stimulation for Neurological Disorders by Zoran Majkić
Cover of the book Promoting Information in the Marketplace for Financial Services by Zoran Majkić
Cover of the book Art and the Challenge of Markets Volume 1 by Zoran Majkić
Cover of the book Educational Resources in the British Empire by Zoran Majkić
Cover of the book Magnesium Biomaterials by Zoran Majkić
Cover of the book Issues in Science and Theology: Are We Special? by Zoran Majkić
Cover of the book Systemic Aspects of Innovation and Design by Zoran Majkić
Cover of the book Morphology of Electrochemically and Chemically Deposited Metals by Zoran Majkić
Cover of the book Entrepreneurship Centres by Zoran Majkić
Cover of the book Advances in Information Retrieval by Zoran Majkić
Cover of the book The Practical Import of Political Inquiry by Zoran Majkić
Cover of the book Computational Science and Its Applications – ICCSA 2017 by Zoran Majkić
Cover of the book Mathematical Methods for Curves and Surfaces by Zoran Majkić
Cover of the book Geriatric Psychiatry 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