10552627
An efficient parallel join algorithm based on hypercube-partitioning
Many parallel join algorithms have been proposed so far but most of which are developed focused on minimizing the disk I/O and CPU costs. The communication cost, however, is also an important factor that can significantly affect the join processing performance in multiprocessor systems. We propose an efficient parallel join algorithm, called Cube-Robust, for hypercube multicomputers. The proposed algorithm is developed based on the observation that the size ratio of two relations to be joined is the dominant factor in the communication cost. We develop the analytic cost model for the proposed join algorithm. The performance comparisons show that the Cube-Robust join algorithm works better than others proposed earlier in a wide range of size ratios.<<ETX>>
8831551
A per-object based hybrid concurrency control
Existing concurrency control algorithms do not conform well to various environments in the performance perspective. Each algorithm has some assumption on the conflict characteristic of its execution environment, and its performance degrades when the assumption fails. A per-object hybrid scheme integrating a two phase locking algorithm with a parallel validation technique is presented to solve this problem. Read and write accesses on each database object are controlled by one algorithm at a time. This controlling algorithm can alter while transactions are running, in order to enhance the overall system performance. In the simulation study, the proposed scheme with the proposed algorithm alteration strategy is shown to conform well to various execution environments, better than both the two phase locking algorithm and the parallel validation technique.
37385528
A framework for handling dependencies among web services transactions
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions.
14456420
A replica control method for improving availability for read-only transactions
Data replication is often considered in distributed database systems to enhance availability and performance. The benefit of data replication, however can only be realized at the cost of maintaining the consistency of data. In particular, network partition failures make it more difficult to achieve high data availability while ensuring strong correctness criteria such as l-copy serializability. We propose a replica control method to improve the availability of data in the presence of network partition failures. Our method extends the traditional primary copy method by using the relaxed correctness criterion called insular consistency for large-scale distributed systems, where partition failures frequently occur. We focus on increasing the availability of data for read-only transactions. We introduce a version vector as a tool for guaranteeing insular consistency and present a mechanism that allows read-only transactions to be executed at any partition as long as the insular consistency is satisfied. An asynchronous update propagation mechanism is also employed to improve the performance of update operations. We also show that the proposed method is correct and give some performance considerations.
13362734
FINDIT: a fast and intelligent subspace clustering algorithm using dimension voting
Abstract The aim of this paper is to present a novel subspace clustering method named FINDIT. Clustering is the process of finding interesting patterns residing in the dataset by grouping similar data objects from dissimilar ones based on their dimensional values. Subspace clustering is a new area of clustering which achieves the clustering goal in high dimension by allowing clusters to be formed with their own correlated dimensions. In subspace clustering, selecting correct dimensions is very important because the distance between points is easily changed according to the selected dimensions. However, to select dimensions correctly is difficult, because data grouping and dimension selecting should be performed simultaneously. FINDIT determines the correlated dimensions for each cluster based on two key ideas: dimension-oriented distance measure which fully utilizes dimensional difference information, and dimension voting policy which determines important dimensions in a probabilistic way based on V nearest neighbors' information. Through various experiments on synthetic data, FINDIT is shown to be very successful in the high dimensional clustering problem. FINDIT satisfies most requirements for good clustering methods such as accuracy of results, robustness to the noise and the cluster density, and scalability to the dataset size and the dimensionality. Moreover, it is gracefully scalable to full dimension without any modification to algorithm.
38239153
Qualitative Behavior Modeling of Information Processing Components
This paper presents qualitative behavior modeling of Information Processing Components(IPCs), which are domain-specific software components for modeling reusable functions in database management systems(DBMSs). After introducing a detailed formal syntax of IPCs, we propose their modular, qualitative behavior generation mechanism. The proposed mechanism is based on qualitative modeling and simulation, thus produces a sequence of temporal state transitions of modeled IPCs. The proposed modeling mechanism aims to facilitate the scientific measurement of
10094158
System and software designs for transaction processing in asymmetric communication environments
Observing that it is impractical to use traditional methods to control concurrency in broadcast-based asymmetric communication environments, we introduce a concurrency control protocol designed for broadcast-based transaction processing called Server Timestamp and Update Broadcast Supported Concurrency (STUBcast). STUBcast supports two new correctness criteria proposed in this paper—Single Serializability and Local Serializability. These criteria are weaker than global serializability, but are practical and easier to achieve in broadcast environments. This article also discusses the software design for the simulation program and the protocol implementation. Simulation results collected using our simulation program suggest that STUBcast could be very efficient in realistic application environments. Copyright © 2003 John Wiley & Sons, Ltd.
749990
Optimal Checkpointing of Real-Time Tasks
Analytical models for the design and evaluation of checkpointing of real-time tasks are developed. First, the execution of a real-time task is modeled under a common assumption of perfect coverage of on-line detection mechanisms (which is termed a basic model). Then, the model is generalized (to an extended model) to include more realistic cases, i.e., imperfect coverages of on-line detection mechanisms and acceptance tests. Finally, we determine an optimal placement of checkpoints to minimize the mean task execution time while the probability of an unreliable result (or lack of confidence) is kept below a specified level. In the basic model, it is shown that equidistant intercheckpoint intervals are optimal, whereas this is not necessarily true in the extended model. An algorithm for calculating the optimal number of checkpoints and intercheckpoint intervals is presented with some numerical examples for the extended model.
14604625
Single run optimization using the reverse-simulation method
An efticient “Simulation Optimization” technique is developed to solve system design problems which can not be expressed in explicit analytical or mathematical models. In particular, we explore a new paradigm called the “Reverse-Simulation optimization method” which is quite Merent from current simulation optimization methods in the literature. This paper focuses on the method of on-line determination of steady-state, which is a very important issue in ReverseSimulation optimization, and the construction of a Reverse-Simulation algorithm with expert systems. The proposed algorithm finds the steady-state of a system and an optimal state. The algorithm employs the Lyapunov exponent of Chaos theory to determine both the steady-state and optimal state of a system.
30198837
Scalable Stereo Video Coding for Heterogeneous Environments
In this paper, we propose a new stereo video coding scheme for heterogeneous consumer devices by exploiting the concept of spatio-temporal scalability. We use MPEG standard for coding the main sequence and interpolative prediction scheme for predicting the P- and B-type pictures of the auxiliary sequence. The interpolative scheme predicts matching blocks by interpolating both motion predicted macro-block and disparity predicted macro-block and employs weighting factors to minimize the residual errors. To provide flexible stereo video service, we define both a temporally scalable layer and a spatially scalable layer for each eye’s view. The experimental results show the efficiency of proposed scheme by comparison with already known methods and advantages of disparity estimation in the view of scalability overhead. According to the experimental results, we expect the proposed functionalities will play a key role in establishing highly flexible stereo video service for ubiquitous display environment where device and network connections are heterogeneous.
52850178
Analysis of Recovery Protocols in Distributed On-Line Transaction Processing Systems