توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب یک رویکرد جدید به مفاهیم پایگاه داده ارائه میکند، که یک منطق طبقهبندی شده برای نقشهبرداری طرحواره پایگاهداده بر اساس نماها، در چارچوبی برای یکپارچهسازی/تبادل پایگاه داده و همتا به همتا توصیف میکند. نگاشت پایگاه داده، زبان های برنامه نویسی پایگاه داده، و معناشناسی معنایی و عملیاتی به طور عمیق مورد بحث قرار می گیرند. یک روش تجزیه و تحلیل نیز توسعه داده شده است که تکنیکهایی را از منطق مرتبه دوم، مدلسازی داده، جبرهای مشترک و معناشناسی دستهبندی تابعی ترکیب میکند. ویژگیها: مقدمهای بر منطق، جبرهای مشترک، پایگاههای داده، نقشهبرداری طرحواره و نظریه دستهبندی ارائه میکند. مفاهیم اصلی تئوری یکپارچه سازی کلان داده را با مثال هایی شرح می دهد. ویژگی های دسته DB را بررسی می کند. ماشین RDB دسته بندی را تعریف می کند. معانی عملیاتی کامل را برای نگاشت پایگاه داده ارائه می کند. در مورد تطبیق و ادغام عملگرها برای پایگاههای داده، ملاحظات جبر جهانی و شبکههای جبری پایگاههای داده بحث میکند. رابطه پایگاه داده با منطق شهودی نقطهای ضعیف یکوئیدی را بررسی میکند.
tag : دانلود کتاب نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی , Download نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی , دانلود نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی , Download Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics Book , نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی دانلود , buy نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی , خرید کتاب نظریه یکپارچه سازی کلان داده: نظریه و روش های نگاشت پایگاه داده، زبان های برنامه نویسی و معناشناسی , دانلود کتاب Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics , کتاب Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics , دانلود Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics , خرید Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics , خرید کتاب Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.