LEADER 05071nam  22008295  450 
001 9910299055603321
005 20230810183457.0
010   $a3-319-04156-8
024 7 $a10.1007/978-3-319-04156-8
035   $a(CKB)3710000000085785
035   $a(EBL)1697734
035   $a(SSID)ssj0001186511
035   $a(PQKBManifestationID)11674059
035   $a(PQKBTitleCode)TC0001186511
035   $a(PQKBWorkID)11241437
035   $a(PQKB)10143198
035   $a(DE-He213)978-3-319-04156-8
035   $a(MiAaPQ)EBC6221156
035   $a(MiAaPQ)EBC1697734
035   $a(Au-PeEL)EBL1697734
035   $a(CaPaEBR)ebr10976199
035   $a(OCoLC)876366543
035   $a(PPN)176109072
035   $a(EXLCZ)993710000000085785
100   $a20140123d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aBig Data Integration Theory $eTheory and Methods of Database Mappings, Programming Languages, and Semantics /$fby Zoran Majki?
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (528 p.)
225 1 $aTexts in Computer Science,$x1868-095X
300   $aDescription based upon print version of record.
311   $a3-319-04155-X 
320   $aIncludes bibliographical references and index.
327   $aIntroduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics -- Definition of DB Category -- Functorial Semantics for Database Schema Mappings -- Extensions of Relational Codd?s Algebra and DB Category -- Categorial RDB Machines -- Operational Semantics for Database Mappings -- The Properties of DB Category -- Weak Monoidal DB Topos.
330   $aThe challenges of big data demand a clear theoretical and algebraic framework, 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 theory Describes the core concepts of big data integration theory, supported by a number of practical examples Examines 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 embedding Presents full operational semantics for database mappings (programs) Discusses matching and merging operators (tensors) for databases, universal algebra considerations, and algebraic lattices of the databases Explores 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.
410  0$aTexts in Computer Science,$x1868-095X
606   $aDatabase management
606   $aComputer science
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aElectronic data processing$xManagement
606   $aInformation technology$xManagement
606   $aDatabase Management
606   $aComputer Science Logic and Foundations of Programming
606   $aDiscrete Mathematics in Computer Science
606   $aIT Operations
606   $aComputer Application in Administrative Data Processing
615  0$aDatabase management.
615  0$aComputer science.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aElectronic data processing$xManagement.
615  0$aInformation technology$xManagement.
615 14$aDatabase Management.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aIT Operations.
615 24$aComputer Application in Administrative Data Processing.
676   $a005.7
700   $aMajki?$b Zoran$4aut$4http://id.loc.gov/vocabulary/relators/aut$0960364
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299055603321
996   $aBig Data Integration Theory$92177048
997   $aUNINA