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 Strategic Supply Chain Management by Zoran Majkić
Cover of the book Covenants and Third-Party Creditors by Zoran Majkić
Cover of the book IgE Antibodies: Generation and Function by Zoran Majkić
Cover of the book Evolutionary Thinking in Medicine by Zoran Majkić
Cover of the book Almost Periodicity, Chaos, and Asymptotic Equivalence by Zoran Majkić
Cover of the book A Theory of Philosophical Fallacies by Zoran Majkić
Cover of the book Color Atlas of Head and Neck Surgery by Zoran Majkić
Cover of the book AETA 2017 - Recent Advances in Electrical Engineering and Related Sciences: Theory and Application by Zoran Majkić
Cover of the book Progress in Ultrafast Intense Laser Science XIV by Zoran Majkić
Cover of the book Quantitative Decisions in Drug Development by Zoran Majkić
Cover of the book Statistical Physics of Wave Interactions by Zoran Majkić
Cover of the book Accelerating E-Mobility in Germany by Zoran Majkić
Cover of the book Agricultural Transition in China by Zoran Majkić
Cover of the book War as Performance by Zoran Majkić
Cover of the book Modern Proteomics – Sample Preparation, Analysis and Practical Applications 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