Texts in Computer Science

Big Data Integration Theory

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

Authors: Majkić, Zoran

  • <p>Provides a complete algebraic extension of the RDB systems for database mappings based on second-order tuple-generating dependencies</p>
  • <p>Discusses issues relating to the computational complexity w.r.t. the typed lambda calculus</p>
  • <p>Presents various definitions and formalizations for database mappings, data exchange, matching and merging</p>
see more benefits

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-04156-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-319-04155-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $79.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: November 4, 2016
  • ISBN 978-3-319-35539-9
  • Free shipping for individuals worldwide
About this Textbook

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.

About the authors

Dr. Zoran Majkić is Chief Technology Advisor at Jumper Consulting Investment Ltd., Dublin, Ireland. He is also affiliated with the International Society for Research in Science and Technology, Tallahassee, FL, USA.

Reviews

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

Table of contents (9 chapters)

  • Introduction and Technical Preliminaries

    Majkić, Zoran

    Pages 1-36

  • Composition of Schema Mappings: Syntax and Semantics

    Majkić, Zoran

    Pages 37-93

  • Definition of DB Category

    Majkić, Zoran

    Pages 95-167

  • Functorial Semantics for Database Schema Mappings

    Majkić, Zoran

    Pages 169-201

  • Extensions of Relational Codd’s Algebra and DB Category

    Majkić, Zoran

    Pages 203-249

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-04156-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-319-04155-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $79.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: November 4, 2016
  • ISBN 978-3-319-35539-9
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Big Data Integration Theory
Book Subtitle
Theory and Methods of Database Mappings, Programming Languages, and Semantics
Authors
Series Title
Texts in Computer Science
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
Distribution Rights
Distribution rights for India: Researchco Book Centre, New Delhi, India
eBook ISBN
978-3-319-04156-8
DOI
10.1007/978-3-319-04156-8
Hardcover ISBN
978-3-319-04155-1
Softcover ISBN
978-3-319-35539-9
Series ISSN
1868-0941
Edition Number
1
Number of Pages
XX, 516
Number of Illustrations and Tables
170 b/w illustrations
Topics