rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Big Data Integration Theory
    sub title: Theory and Methods of Database Mappings, Programming Languages, and Semantics
  name:
    name part: Majkić, Zoran.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XX, 516 p. 170 illus. online resource.
  abstract: The 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.
  table of contents: Introduction 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.
  note: by Zoran Majkić.
  subject:
    topic: Computer science
  subject:
    topic: Computer logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Database management
  subject:
    topic: Application software
  subject:
    topic: Management information systems
  subject:
    topic: Computer Science
  subject:
    topic: Database Management
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Management of Computing and Information Systems
  subject:
    topic: Computer Appl. in Administrative Data Processing
  classification: QA76.9.D3
  classification: 005.74
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Texts in Computer Science
  identifier: 9783319041568
  identifier: http://dx.doi.org/10.1007/978-3-319-04156-8
  record info:
    record creation date: 140123
    record change date: 20151030011039.0
    record identifier: 978-3-319-04156-8