Skip to main content
  • Textbook
  • © 2014

Big Data Integration Theory

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

Authors:

  • Provides a complete algebraic extension of the RDB systems for database mappings based on second-order tuple-generating dependencies
  • Discusses issues relating to the computational complexity w.r.t. the typed lambda calculus
  • Presents various definitions and formalizations for database mappings, data exchange, matching and merging
  • Includes supplementary material: sn.pub/extras

Part of the book series: Texts in Computer Science (TCS)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XX
  2. Introduction and Technical Preliminaries

    • Zoran Majkić
    Pages 1-36
  3. Definition of DB Category

    • Zoran Majkić
    Pages 95-167
  4. Categorial RDB Machines

    • Zoran Majkić
    Pages 251-296
  5. Operational Semantics for Database Mappings

    • Zoran Majkić
    Pages 297-371
  6. The Properties of DB Category

    • Zoran Majkić
    Pages 373-453
  7. Weak Monoidal DB Topos

    • Zoran Majkić
    Pages 455-513
  8. Back Matter

    Pages 515-516

About this book

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.

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)

Authors and Affiliations

  • ISRST, Tallahassee, USA

    Zoran Majkić

About the author

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.

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access