Principles of Transaction Processing,, Philip A. Bernstein

Автор: Qingfeng Chen; Chengqi Zhang; Shichao Zhang
Название: Secure Transaction Protocol Analysis
ISBN: 3540850732 ISBN-13(EAN): 9783540850731
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers a comprehensive coverage of the state of the art in security protocol analysis. This work aims to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. It covers the main approaches and tools in formal methods for security protocol analysis.

Автор: Jajodia
Название: Advanced Transaction Models and Architectures
ISBN: 0792398807 ISBN-13(EAN): 9780792398806
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The traditional transaction model, with the atomicity, consistency, isolation and durability properties, was originally developed for data processing applications. To meet the new requirements and challenges for the next-generation information systems, researchers have continued to refine and generalize the traditional model in several directions. This book assembles an important collection of papers authored by world-renowned thinkers, designers and implementors of database systems, to describe developments that lie at the heart of current research in advanced transaction processing areas.The papers have been grouped into the following topical areas: Workflow Transactions Tool-Kit Approaches Long Transactions and Semantics Concurrency Control and Recovery Transaction Optimization Active Database Approach On-Line Transaction Processing (OLTP) and On-Line Analytical Processing (OLAP) Real-Time Data Management Mobile Computing.

"Advanced Transaction Models and Architectures" will provide researchers and students with the most complete survey of current research available on this subject. Broad in scope, this book could serve as a textbook not only in a specialized course at the graduate level, but also in an introductory course on advanced transaction systems. The book concludes with a complete bibliography which provides an invaluable guide for further reading.