Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Big Data Integration Theory (Record no. 400255)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04321nam a22005535i 4500
001 - Контрольный номер
Контрольное поле vtls000542629
005 - Дата корректировки
Контрольное поле 20210922082413.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319041568
-- 978-3-319-04156-8
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-04156-8
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000542629
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.D3
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UN
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMT
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM021000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.74
Номер издания 23
100 1# - Автор
Автор Majkić, Zoran.
Роль лиц author.
9 (RLIN) 448625
245 10 - Заглавие
Заглавие Big Data Integration Theory
Физический носитель electronic resource
Продолж. заглавия Theory and Methods of Database Mappings, Programming Languages, and Semantics /
Ответственность by Zoran Majkić.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем XX, 516 p. 170 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Texts in Computer Science,
ISSN серии 1868-0941
505 0# - Примечание о содержании
Содержание 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.
520 ## - Аннотация
Аннотация 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.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Computational complexity.
9 (RLIN) 304814
650 #0 - Тематические рубрики
Основная рубрика Database management.
9 (RLIN) 566224
650 #0 - Тематические рубрики
Основная рубрика Information systems.
9 (RLIN) 303226
650 #0 - Тематические рубрики
Основная рубрика Information Systems.
9 (RLIN) 303226
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Database Management.
9 (RLIN) 566226
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Discrete Mathematics in Computer Science.
9 (RLIN) 304816
650 24 - Тематические рубрики
Основная рубрика Management of Computing and Information Systems.
9 (RLIN) 303227
650 24 - Тематические рубрики
Основная рубрика Computer Appl. in Administrative Data Processing.
9 (RLIN) 307999
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Texts in Computer Science,
9 (RLIN) 306623
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-319-04156-8">http://dx.doi.org/10.1007/978-3-319-04156-8</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 400255

No items available.