| 所在主题： | |
| 文件名: Big Data Integration Theory Theory and Methods of Database Mappings, Programming.rar | |
| 资料下载链接地址: https://bbs.pinggu.org/a-1773890.html | |
本附件包括：
|
|
| 附件大小: | |
|
The challenges of big data demand a clear theoretical and algebraicframework, extending the standard relational database (RDB) with more powerful features in order to manage the complex schema mappings. This unique textbook/reference presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a very general framework for database integration/exchange and peer-to-peer. Issues of database mappings, database programming languages (algebras), 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. Topics and features: Provides a concise, formal introduction to logics, (co-)algebras, databases, schema mappings and category theoryDescribes the core concepts of big data integration theory, supported by a number of practical examplesExamines the computational properties of the DB category, compared to the extensions of Codd’s SPRJU relational algebra and structured query language (SQL)Defines the abstract computational machine, the categorial RDB machine, able to support all DB computations by SQL embeddingPresents full operational semantics for database mappings (programs)Discusses matching and merging operators (tensors) for databases, universal algebra considerations, and algebraic lattices of the databasesExplores the relationship of the database weak monoidal topos with respect to intuitionistic logic This self-contained textbook is ideal for graduate courses on database engineering methods, and can also be used as a supplementary text for courses on co-algebras and category theory. Researchers and software engineers interested in databases and logics will also find the book to be a useful reference. [hide][/hide] Table of contents : Content: Front Matter....Pages I-XX Introduction and Technical Preliminaries....Pages 1-36 Composition of Schema Mappings: Syntax and Semantics....Pages 37-93 Definition of DB Category....Pages 95-167 Functorial Semantics for Database Schema Mappings....Pages 169-201 Extensions of Relational Codd’s Algebra and DB Category....Pages 203-249 Categorial RDB Machines....Pages 251-296 Operational Semantics for Database Mappings....Pages 297-371 The Properties of DB Category....Pages 373-453 Weak Monoidal DB Topos....Pages 455-513 Back Matter....Pages 515-516 |
|
熟悉论坛请点击新手指南
|
|
| 下载说明 | |
|
1、论坛支持迅雷和网际快车等p2p多线程软件下载，请在上面选择下载通道单击右健下载即可。 2、论坛会定期自动批量更新下载地址,所以请不要浪费时间盗链论坛资源,盗链地址会很快失效。 3、本站为非盈利性质的学术交流网站,鼓励和保护原创作品，拒绝未经版权人许可的上传行为。本站如接到版权人发出的合格侵权通知，将积极的采取必要措施；同时，本站也将在技术手段和能力范围内，履行版权保护的注意义务。 (如有侵权，欢迎举报) |
|
京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问：王进律师
知识产权保护声明
免责及隐私声明
