Transactions and Database Dynamics
Transactions and Database Dynamics

Author: Gunter Saake

Publisher: Springer

Published: 2003-06-26

Total Pages: 255

ISBN-13: 3540464662

DOWNLOAD EBOOK

These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.

Transactions and Change in Logic Databases
Transactions and Change in Logic Databases

Author: Burkhard Freitag

Publisher: Springer Science & Business Media

Published: 1998-10-28

Total Pages: 412

ISBN-13: 9783540653059

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.

Transactional Information Systems
Transactional Information Systems

Author: Gerhard Weikum

Publisher: Morgan Kaufmann

Published: 2002

Total Pages: 881

ISBN-13: 1558605088

DOWNLOAD EBOOK

This book describes the theory, algorithms, and practical implementation techniques behind transaction processing in information technology systems.

Logical Foundations of Database Transformations for Complex-Value Databases
Logical Foundations of Database Transformations for Complex-Value Databases

Author: Qing Wang

Publisher: Logos Verlag Berlin GmbH

Published: 2010

Total Pages: 253

ISBN-13: 3832525637

DOWNLOAD EBOOK

Database transformations consist of queries and updates which are two fundamental types of computations in any databases - the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. This dissertation aims to lay down the foundations for establishing a theoretical framework of database transformations in the context of complex-value databases. The previous findings reveal that it is very difficult to characterise common features of database queries and updates in a way which is meaningful for further investigations. Nevertheless, the advent of the sequential Abstract State Machine (ASM) thesis capturing sequential algorithms sheds light on the study of database transformations. Observing that the class of computations described by database transformations may be formalised as algorithms respecting database principles, we propose the database ASM thesis for a complete characterisation of database transformations. It turns out that every database transformation characterised by five postulates can be behaviourally simulated by a database Abstract State Machine (DB-ASM) with the same signature and background, and vice versa. Furthermore, a logic for DB-ASMs is defined. In spite of bounded non-determinism permitted by DB-ASMs, the logic is proven to be sound and complete.

Semantic Issues in E-Commerce Systems
Semantic Issues in E-Commerce Systems

Author: Karl Aberer

Publisher: Springer

Published: 2012-12-06

Total Pages: 334

ISBN-13: 0387356584

DOWNLOAD EBOOK

Semantic Issues in e-Commerce Systems comprises the proceedings of the Ninth Working Conference on Database Semantics, which was sponsored by the International Federation for Information Processing (IFIP) and held in Hong Kong in April 2001. This volume will be essential for researchers and practitioners working in the areas of database management, information retrieval and data mining, and user interfaces, as applied to e-commerce.

Inside Microsoft Dynamics AX 2012 R3
Inside Microsoft Dynamics AX 2012 R3

Author: The Microsoft Dynamics AX Team

Publisher: Pearson Education

Published: 2014

Total Pages: 841

ISBN-13: 073568510X

DOWNLOAD EBOOK

Explores the architecture, components, and tools of Microsoft Dynamics AX 2012 R3, including forms, security, SharePoint integration, workflow infrastructure, reporting, automating tasks and document distribution, and application domain frameworks.

Advancing Cloud Database Systems and Capacity Planning With Dynamic Applications
Advancing Cloud Database Systems and Capacity Planning With Dynamic Applications

Author: Kamila, Narendra Kumar

Publisher: IGI Global

Published: 2017-01-05

Total Pages: 453

ISBN-13: 1522520147

DOWNLOAD EBOOK

Continuous improvements in data analysis and cloud computing have allowed more opportunities to develop systems with user-focused designs. This not only leads to higher success in day-to-day usage, but it increases the overall probability of technology adoption. Advancing Cloud Database Systems and Capacity Planning With Dynamic Applications is a key resource on the latest innovations in cloud database systems and their impact on the daily lives of people in modern society. Highlighting multidisciplinary studies on information storage and retrieval, big data architectures, and artificial intelligence, this publication is an ideal reference source for academicians, researchers, scientists, advanced level students, technology developers and IT officials.

Transactional Agents
Transactional Agents

Author: Khaled Nagi

Publisher: Springer

Published: 2003-06-30

Total Pages: 211

ISBN-13: 3540453547

DOWNLOAD EBOOK

The term “agent” is one of those catchwords that mean widely differing things to different people. To telecommunications people it is little more than a mobile piece of code that may be executed at any place. At the other extreme, AI people often associate with agents human-like traits such as social behavior. In between, software people view agents as fairly self-contained pieces of software that, at the low end, pretty much act like objects and, at the high end, more or less auto- mously decide when and how to react to stimuli or proactively initiate effects that can be observed from their environment. Software agents are particularly important when it comes to distributed en- ronments. There, much of the communication takes place asynchronously, that is the sequence of events cannot be planned ahead in all detail. Instead, agents are given rules as to how to interpret the current situation and, given a common goal, so that they adjust their response accordingly.

E-Commerce and Web Technologies
E-Commerce and Web Technologies

Author: Kurt Bauknecht

Publisher: Springer

Published: 2003-08-02

Total Pages: 426

ISBN-13: 3540457054

DOWNLOAD EBOOK

The Third International Conference on E-commerce and Web Technology (EC-Web 2002) was held in conjunction with the DEXA 02 in Aix-en-Provence, France. This conference, first held in Greenwich, United Kingdom in 2000, is now in its third year and is very well established. As in the two previous years, it served as a forum bringing together researchers from academia and commercial developers from industry to discuss the current state of the art in E-commerce and web technology. Inspirations and new ideas emerged from intensive discussions during formal sessions and social events. Keynote addresses, research presentations, and discussions during the conference helped to further develop the exchange of ideas among the researchers, developers, and practitioners who attended. The conference attracted more than 100 submissions and each paper was reviewed by at least three program committee members. The program committee selected 40 papers for presentation and publication, a task which was not easy due to the high quality of the submitted papers. We would like to express our thanks to our colleagues who helped to put together the technical program: the program committee members and external reviewers for their timely and rigorous reviews of the papers, and the organizing committee for their help in the administrative work and support. We owe special thanks to Gabriela Wagner and Maria Schweikert for always being available when their helping hand was needed.