On the Viability of Speculative Transactional Replication in Database Systems: A Case Study with PostgreSQL

Author(s):  
Sebastiano Peluso ◽  
Roberto Palmieri ◽  
Francesco Quaglia ◽  
Binoy Ravindran
Keyword(s):  
Micromachines ◽  
2021 ◽  
Vol 13 (1) ◽  
pp. 52
Author(s):  
Wenze Zhao ◽  
Yajuan Du ◽  
Mingzhe Zhang ◽  
Mingyang Liu ◽  
Kailun Jin ◽  
...  

With the advantage of faster data access than traditional disks, in-memory database systems, such as Redis and Memcached, have been widely applied in data centers and embedded systems. The performance of in-memory database greatly depends on the access speed of memory. With the requirement of high bandwidth and low energy, die-stacked memory (e.g., High Bandwidth Memory (HBM)) has been developed to extend the channel number and width. However, the capacity of die-stacked memory is limited due to the interposer challenge. Thus, hybrid memory system with traditional Dynamic Random Access Memory (DRAM) and die-stacked memory emerges. Existing works have proposed to place and manage data on hybrid memory architecture in the view of hardware. This paper considers to manage in-memory database data in hybrid memory in the view of application. We first perform a preliminary study on the hotness distribution of client requests on Redis. From the results, we observe that most requests happen on a small portion of data objects in in-memory database. Then, we propose the Application-oriented Data Migration called ADM to accelerate in-memory database on hybrid memory. We design a hotness management method and two migration policies to migrate data into or out of HBM. We take Redis under comprehensive benchmarks as a case study for the proposed method. Through the experimental results, it is verified that our proposed method can effectively gain performance improvement and reduce energy consumption compared with existing Redis database.


2009 ◽  
pp. 401-420
Author(s):  
Alexander Y. Yap

The planning and development of an enterprisewide electronic database system for e-business usually calls for the re-engineering of information processes coupled with a push toward data content standardization across the entire organization. In this chapter, the case study involves a multinational conglomerate that is in the process of integrating and Web-enabling their enterprise database systems. The objective of the system was to help engineers sift through millions of components offered by various suppliers and component manufacturers, where the end-result was to improved the integration and efficiency of the product development, engineering design, e-sourcing, and e-procurement processes. This research is a qualitative action research study on how different organizational, social, political, and technical forces influenced the social construction of an enterprise-wide information system. Understanding the dynamics and power of these socio-technical forces in shaping the development environment and change process of enterprise systems is the focal point of this chapter’s discussion.


Author(s):  
Alexander Y. Yap

The planning and development of an enterprise-wide electronic database system for e-business usually calls for the re-engineering of information processes coupled with a push toward data content standardization across the entire organization. In this chapter, the case study involves a multi-national conglomerate that is in the process of integrating and Web-enabling their enterprise database systems. The objective of the system was to help engineers sift through millions of components offered by various suppliers and component manufacturers, where the end-result was to improved the integration and efficiency of the product development, engineering design, e-sourcing, and e-procurement processes. This research is a qualitative action research study on how different organizational, social, political, and technical forces influenced the social construction of an enterprise-wide information system. Understanding the dynamics and power of these socio-technical forces in shaping the development environment and change process of enterprise systems is the focal point of this chapter’s discussion.


2021 ◽  
Vol 14 (13) ◽  
pp. 3376-3388
Author(s):  
Bailu Ding ◽  
Surajit Chaudhuri ◽  
Johannes Gehrke ◽  
Vivek Narasayya

We describe a new benchmark, DSB, for evaluating both workload-driven and traditional database systems on modern decision support workloads. DSB is adapted from the widely-used industrial-standard TPC-DS benchmark. It enhances the TPC-DS benchmark with complex data distribution and challenging yet semantically meaningful query templates. DSB also introduces configurable and dynamic workloads to assess the adaptability of database systems. Since workload-driven and traditional database systems have different performance dimensions, including the additional resources required for tuning and maintaining the systems, we provide guidelines on evaluation methodology and metrics to report. We show a case study on how to evaluate both workload-driven and traditional database systems with the DSB benchmark. The code for the DSB benchmark is open sourced and is available at https://aka.ms/dsb.


10.28945/2411 ◽  
2001 ◽  
Author(s):  
Min Song ◽  
Il-Yeol Song

In this paper, we present a case study on the design of a web-based online service delivery system using IBM's Net.Commerce system as well as the lessons learned in completing this project. The design specification is presented using the UML notation, while database schema is presented using the IDEF1X notation. Our design specification includes architecture, system components using package diagrams, system functions using use case diagrams, their processing logic using activity diagrams, and database design. We present a detailed database design and comment on design and customization considerations specific to e-commerce systems. Our experience shows that e-commerce tools still lack certain functionality such as processing back orders, allowing for customizable returns, and sending email notification to users, but overall can speed up the development of the system. Understanding the structure and transaction processing of e-commerce database systems will help system designers effectively develop and maintain these systems. Readers of this paper will understand and learn a typical design specification of a web-based service delivery system and various technical design issues.


2021 ◽  
Vol 9 (4) ◽  
pp. 0-0

Most modern relational database systems use triggers to implement automatic tasks in response to specific events happening inside or outside a system. A database trigger is a human readable block code without any formal semantics. Frequently, people can check if a trigger is designed correctly after it is executed or with human inspection. In this article, the authors introduce a new method to model and verify database trigger systems using Event-B formal method at early design phase. First, the authors make use of the similar mechanism between triggers and Event-B events to propose a set of rules translating a database trigger system into Event-B constructs. Then, the authors show how to verify data constraint preservation properties and detect infinite loops of trigger execution with RODIN/Event-B. The authors also illustrate the proposed method on a case study. Finally, a tool named Trigger2B which partly supports the automatic modeling process is presented.


Author(s):  
Wai Y. Mok ◽  
David Paper

In this chapter, we model business workflows using Harel’s statecharts. We demonstrate that mapping to statecharts allows one to systematically identify potential workflow problems. Moreover, it also allows one to investigate specific properties inherent in actual business workflows. Our research focuses on three desirable properties of active database systems — termination, confluence, and observable determinism. As a theoretical lens for termination and confluence, we develop algorithms linking desirable active database system properties to workflow management systems problems. Preliminary validation of our algorithms is accomplished by mapping business workflows from a case study. Our research thus generates preliminary theory by developing a systematic method for identifying workflow problems.


Sign in / Sign up

Export Citation Format

Share Document