Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics

این کتاب یک رویکرد جدید به مفاهیم پایگاه داده ارائه می‌کند، که یک منطق طبقه‌بندی شده برای نگاشت طرح‌واره پایگاه‌داده بر اساس نماها، در چارچوبی برای یکپارچه‌سازی/تبادل پایگاه داده و همتا به همتا توصیف می‌کند. نگاشت پایگاه داده، زبان های برنامه نویسی پایگاه داده، و معناشناسی معنایی و عملیاتی به طور عمیق مورد بحث قرار می گیرند. یک روش تجزیه و تحلیل نیز توسعه داده شده است که تکنیک های منطق مرتبه دوم، مدل سازی داده ها، جبرهای مشترک و معناشناسی دسته بندی تابعی را ترکیب می کند. ویژگی‌ها: مقدمه‌ای بر منطق، جبرهای مشترک، پایگاه‌های داده، نقشه‌برداری طرحواره و نظریه دسته‌بندی ارائه می‌کند. مفاهیم اصلی تئوری یکپارچه سازی کلان داده را با مثال هایی شرح می دهد. ویژگی های دسته DB را بررسی می کند. ماشین RDB دسته بندی را تعریف می کند. معانی عملیاتی کامل را برای نگاشت پایگاه داده ارائه می کند. در مورد تطبیق و ادغام عملگرها برای پایگاه های داده، ملاحظات جبر جهانی و شبکه های جبری پایگاه های داده بحث می کند. رابطه پایگاه داده را بررسی می‌کند تا توپوس یک‌واحد ضعیف w.r.t. منطق شهودی.

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.