• Journal of KIISE:Databases
• /
• v.30 no.2
• /
• pp.197-208
• /
• 2003

Abstract Workflow is not appropriately applied to coordinated execution of applications(steps) that comprise business process such as a collaborative series of tasks because of the lacks of network infra, standard of information exchange and data consistency management with conflict mode of shared data. Particularly we have not mentioned the problem which can be occurred by shared data with conflict mode. In this paper, to handle data consistency in the process of rollback for failure handling or recovery policy, we have classified rollback dependency into three types such as implicit rollback dependency in a transactional workflow, implicit rollback dependency in collaborative transactional workflows and explicit rollback dependency in collaborative transactional workflows. Also, we have proposed the rollback dependency compiler that determines above three types of rollback dependency. A workflow designer specifies the workflow schema and the resources accessed by the steps from a global database of resources. The rollback dependency compiler generates the enhanced workflow schema with the rollback dependency specification. The run-time system interprets this specification and executes the rollback policy with data consistency if failure of steps is occurred. After all, this paper can offer better correctness and performance than state-of-the-art WFMSs.

• Journal of KIISE:Information Networking
• /
• v.30 no.2
• /
• pp.167-178
• /
• 2003

In mobile computing environments, queries based on the location of mobile clients (MCs) may cause different results. We say that the data of these results are location dependent data (LDD). Location-dependent queries to LDD need to be processed in conjunction with the geographical distance. The efficiency of query processing may also be increased by LDD relationship, etc. But there is the problem of fuzziness about how the distance used in location-dependent queries is evaluated and the data regions are organized. In this paper, we quantify the fuzziness of a location-dependent fuery on LDD. And we propose data regions for LDD, called LDD regions, by relationship of accessed data and the degree of distance between data objects and MCs' locations. In simulation studies we show that the number of database access for location-dependent queries, which have several settings on MCs' favor and two granularity of regions, can be smaller in proposed LDD regions than that in geographical regions.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.527-533
• /
• 1997

문헌자료 간의 종속성을 고려한 베이지안(Bayesian) 방법을 개발하였으며, 이를 바탕으로 원자력발전소의 일반 기기 신뢰도 데이타 베이스를 구축하였다. 기존에 개발되어 사용되어 온 3단계 베이지안 자료 분석 코드인 MPRDP (Multi-Purpose Reliability Data Process) [1,2,3]는 기존의 신뢰도 데이타 베이스 계산 코드들과는 달리 문헌자료를 2단계에서 처리한 후 3단계에서 발전소 고유 자료를 처리하여 계산하도록 개발되었다. 그러나 이전에는 일반 자료들간의 종속성을 고려하지 못하고 동일한 자료원을 근거로 만들어진 여러 자료원들을 모두 독립적인 것으로 처리하였다. 본 논문에서는 모수적 선험적 베이지안 방법의 일종인 ML-IIl(Type II Maximum Likelihood) 방법을 이용하여 자료들 간의 종속성을 처리[5]하였다. 솔레노이드 구동밸브를 예로 종속성 처리에 따른 분석 결과의 차이를 보여 주었으며, 또한 일부 기기에 대한 국내 고유 자료를 바탕으로 MPRDP를 통한 기기 신뢰도를 추정하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.12
• /
• pp.655-664
• /
• 2002

In many data-parallel applications massive parallelism can be easily extracted through data distribution. But it often causes very long communication latency. This paper shows that task parallelism, which is extracted from data-parallel programs, can be exploited to hide such communication latency Unlike the most previous researches over exploitation of task parallelism which has not been considered together with data parallelism, this paper describes exploitation of task parallelism in the context of data parallelism. PCFG(Parallel Control Flow Graph) is proposed to represent a multithreaded program consisting of a few task threads each of which can include a few data-parallel loops. It is also described how a PCFG is constructed from a source data-parallel program through HDG(Hierarchical Dependence Graph) and how the multithreaded program can be constructed from the PCFG.

• Journal of KIISE:Software and Applications
• /
• v.26 no.9
• /
• pp.1061-1072
• /
• 1999

한 개 이상의 사이트에 공간 데이타가 중복 저장된 분산 공간 DB에서, 동시에 수행될 수 있는 긴 트랜잭션의 변경은 일관성 제어를 위해 다른 사이트에 전파되어야 한다. 이때 같은 영역의 공간 데이타를 서로 다른 사이트에서 동시에 변경할 경우, 변경 상충 문제가 발생하거나 잠금 기법에 의한 오랜 대기 시간이 초래되는 문제가 있다. 또한 공간 객체는 잠금의 대상이 아닌 공간 관련성에 의한 종속성을 가진다.이 논문은 긴 트랜잭션으로 중복된 공간 데이타를 변경할 경우 중복 제어를 위한 변경 전파와 동시성 제어 문제를 다룬다. 중복된 공간 데이타의 변경 병렬성을 향상시키기 위해 영역 잠금 및 SR-bound WRITE 잠금 기법을 제시한다. 한 사이트에서 수정하는 객체들과 다른 사이트에서 수정하는 객체들 사이에 공간 관련성에 의한 종속성이 없을 경우 병렬 수정을 허용하도록 제어하며, 공간 관련성에 의한 종속성이 있을 경우 SR-based 2PC라 불리는, 확장된 2단계 완료 프로토콜로 협동작업을 수행해서 변경 상충을 해결하는 새로운 중복 제어 기법을 설계하고 구현한다.Abstract The update of a long transaction should be propagated to the other sites for consistency control, when spatial database are replicated at multiple sites to achieve availability, reliability, and performance. When the replicated spatial data are updated at the same time, the update of one site would be conflicted with the other or a user would not be able to access the replicated spatial data under the control of locking. Two spatial objects having spatial relationships should be cooperatively updated even if there are no conflicts of locking for them.This paper deals with the issues of concurrency control and update propagation of replicated spatial data. We present the concept of region lock and SR-bound WRITE lock for enhancing the parallelism of updating the replicated spatial data. If there are no spatial relationships between one site's objets and the other's objects, parallel update would be allowed. Concurrent update of two spatial objects having spatial relationships should be propagated and cooperated by using an extended two-phase commit protocol, called spatial relationship-based 2PC.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.615-622
• /
• 2007

Recently, users who want to be provided motile devices, such as PDP, PMP, and IPTV connected wireless internet, with multimedia contents are increasing due to an influence of multimedia contents. In the paper, we propose an efficient database design method for managing mobile multimedia services on home network systems. For this, we build relations using attributes required while providing multimedia services, and then design a database. Specially, we propose a database design method based on normalization theory to eliminate redundancies and update anomalies caused by a non trivial multi valued dependency in relations. In the experiments, we compare and analyze occurrence frequencies of data redundancies and update anomalies through query executions on the relation decomposed into normal forms. The results reveal that our database design is failrly effective.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1991.11a
• /
• pp.185-193
• /
• 1991

PC 사용의 확산에 따라 PC 화일 보호의 요구가 대두되고 있으나, 기존의 사용자 단일 키에 의한 암호화 제어 기법은 키의 노출이 용이하고, 인가된 사용자에 의한 비밀화일의 불법 도용을 방지하기 어려운 취약점이 있다. 이러한 문제점을 개선하기 위하여 제안하고자 하는 이중키(시스템 종속적인 키와 사용자 키)에 의한 암호화 제어는 사용자 키를 이용하여 입력된 데이타를 암호화하고, 암호화된 데이타를 시스템에 종속적인 키를 이용하여 다시 암호화해서 화일에 저장한다 제안된 기법의 특징은 이중키를 사용함으로서 (i)키 공격에 대한 저항성 증가, (ii)키 노출의 위험성 감소, (iii)인가된 사용자의 불법적인 화일 도용을 방지하는 것이다. 이중키에 의한 암호화 제어 기법은 정보의 비밀성 보호가 크게 요구되는 조직이나 기관에 적용하는 것이 효과적이며, 이중키의 생성 및 관리, 인중 및 접근 제어를 포함한 계층적인 제어를 위한 추가적인 연구가 요구된다.

• Journal of the Korean Society of Safety
• /
• v.12 no.4
• /
• pp.241-248
• /
• 1997

This paper presents the development procedure and application of the generic component reliability data base considering the dependency among dependent generic compendia in NPPs (Nuclear Power Plants) PSA (Probabilistic Safety Assessment) under construction or without operating history. We use MPRDP (Multi-Purpose Reliability Data Processor) code developed in KAERI (Korea Atomic Energy Research Institute) based on a PEB (Parametric Empirical Bayesian) procedure to estimate the reliability. The employed model in this study accounts for the relative credibility as well as the dependency among generic estimates. Numerical examples and the part of summarized reliability data table are provided as the application.

• 한국공간정보시스템학회:학술대회논문집
• /
• 1999.06a
• /
• pp.35-45
• /
• 1999

기존에는 이질적인 GIS 데이타 소스간의 통합을 위해 랩퍼(wrapper)기술을 사용했다. 랩퍼(wrapper)는 외부 클라이언트 응용프로그램에게 이질적인 데이타 소스들의 통합 데이타 모델을 제공함으로써 데이타와 지리정보처리의 공유를 가능하게 한다. 그러나 데이타 소스들의 통합은 표준 서비스를 포함한 상호운용성을 지원하는 것은 아니다. 표준을 따르는 상호운용을 위해서는 표준화된 데이타 모델과 서비스가 필요한데 OGC (OpenGIS Consortium)의 OpenGIS(Open Geodata Interoperability Specification)가 이를 제공하고 있다. 분산환경에서 상호운용을 위한 기존방법은 각 데이타 소스별로 데이타 제공자를 개발하여 상호운용을 지원하였다. 따라서 중복 구현에 대한 문제와 구현에 따른 노력과 비용이 상당 부분 존재하였다. 본 논문에서는 데이타 제공자에서 공통부분을 추출 및 컴포넌트 화하고 데이타 소스에 종속되는 모듈은 CORBA 구현객체로 작성하여 제시하였다. 따라서 각 데이타 소스들은 표준 데이타 제공자를 통해서 기존의 데이타 지원 기능유지와 상호운용성을 달성할 수 있다. 클라이언트는 OpenGIS Feature모델을 기반으로 한 표준 인터페이스로 데이타 소스에 접근한다. 데이타 소스는 표준데이타 제공자와 정의된 인터페이스를 바탕으로 CORBA의 구현 객체 서버를 작성함으로서 중복구현 및 구현부담을 줄일 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.13-15
• /
• 2001

최근에 이르러 프로세서의 병렬성을 분석적 기법으로 예측하기 위한 연구가 활발해지면서 프로세서의 성능 예측 모델에 대한중요성이 대두되고 있다. 그러나 기존의 연구는 현재 광범위하게 사용되고 있는 다중 분기 예측법을 이용하는 프로세서에 대하여 분기 차수와 관계없는 재귀적 성능 모델을 제공해주지 않는다. 본 논문에서는 이것을 해결하기 위하여, 매 싸이클마다 명령어 종속 트리를 구성하고 종속인 명령어 간에 상대적인 병렬도 갓을 부여하여 성능 예측 모델 입력 데이타를 측정하였다. 그 곁과, 다중 분기 예측법을 사용하는 프로세서에서 정수형 프로그램에 대한 성능을 기존의 성능모델보다 작은 상대 오차로 예측할 수 있다.