객체지향 데이타베이스에서 무결성 유지를 위한 능동적 접근방법

강희종,김응모 成均館大學校 科學技術硏究所 1995 論文集 Vol.46 No.1

본 논문에서는 객체지향 테이타베이스에서의 제약조건의 표현 방법과 무결성 검증을 위한 유지방법을 제안한다. 이를 위해 제약조건 그래프의 분석을 통한 객체 지향 개념에 맞는 무결성 제약조건의 선언적 표현기법과 무결성 유지를 위한 능동적 접근방법으로서 생성 규칙에 기반을 둔 ECA 규칙을 소개한다. In this paper, we propose constraints representation method and integrity maintenance scheme in object oriented datebases. For this purpose, we introduce a declarative constraints representations through constraints graph analysis and a ECA rule based on production rules as an active integrity maintenance approach

어브덕션을 이용한 의미적 뷰 갱신

민병무,김응모 成均館大學校 科學技術硏究所 1995 論文集 Vol.46 No.1

본 논문은 연역 데이터베이스상에서 뷰(view)의 갱신(update)에 관한 것이다. 뷰란 규칙에 의해 정의되는 사실을 말하며, 뷰 자체는 저장하지 않는다. 따라서 뷰 갱신을 직접적으로 갱신하지 않고 뷰를 정의하는 사실들의 갱신으로 변경하여 간접적인 뷰 갱신을 수행산다. 뷰를 정의하는 규칙이 하나 이상일때는 해결방안이 여러개 나올 수 있으며, 규칙(deductive rule)에 지역 변수가 존재할 때는 해결책에 변수가 나타난다. 이러한 문제점들을 해결하기 위하여 무결성 제약조건을 이용한다. 이 모든 과정은 사용자에게 문의하지 않고 시스템에 의해 자동적으로 이루어진다. 그리고 사용자는 뷰에 관한 특별한 지식없이 일반적인 사실과 동일한 방법으로 갱신을 수행하게 된다. This paper is concerned with the view update problem in a deductive database. View is a predicate that is defined by rule and view itself is riot stored. In order to update non stored predicate, we translate a view update into set of facts updates which define view. When rules that define view are more than one, we present a solution that is not only consistent with the updated database but also changes the original database as little as possible. In general, view updates through abduction lead to ambiguous and non-deterministic problems. These problems are handled by using the semantics in integrity constraints. Since view updates cause the state of database to be changed, view updates using integerity constraints can verify database consistency at the same time.

분산 데이터베이스 환경에서의 빠른 트랜잭션 처리를 위한 분산 확장형 이타적 잠금 기법을 이용한 스케쥴러의 설계

류봉수,김응모 成均館大學校 科學技術硏究所 2002 論文集 Vol.53 No.1

분산 데이터베이스에서 장기 트랜잭션 발생시 과도한 장기간 데이터 점유로 인한 트랜잭션 처리 성능의 저하를 초래하게 된다. 따라서 단기 트랜잭션은 장기 트랜잭션으로 인한 지연이 없이 데이터베이스를 빨리 접근하여야 한다. 본 논문에서는 분산데이터베이스 환경에서 동시성 제어를 위한 향상된 트랜잭션 스케쥴링 프로토콜을 제안한다. 좀 더 확장된 직렬성(Selializability) 표기를 가진 이타적 잠금기법(Altruistic Locking)을 사용하여 분산 데이터베이스 시스템에서 적용하였다. 이타적 잠금기법은 기부를 통하여 트랜잭션이 더 이상 그 객체를 요구하지 않을 때 다른 트랜잭션들이 객체를 로크할 수 있도록 미리 객체에 대한 로크를 해제함으로써 트랜잭션들의 대기시간을 줄이기 위해서 제안된 것이다. 확장형 이타적 잠금기법은 처음에 기부되지 않는 객체까지도 처리하는 좀 더 완화된 기법이다. 본 논문에서 제안한 새로운 트랜잭션 스케쥴링 기법은 확장형 잠금 기법을 기초로 분산 데이터베이스 내에서 트랜잭션 처리 전에 분산 데이터베이스 시스템의 외부에 별도의 트랜잭션 스케쥴러(External Scheduler for Distributed Database System(EsDDS))를 두어 단기 트랜잭션과 장기 트랜잭션을 구분하여 각각의 특성에 맞게 다른 데이터베이스 접속을 허가하게 되어 직렬성과 동시성 제어를 동시에 만족한다. 그리고 분산 데이터 시스템 장기 트랙잭션에 인해 유발 가능한 단기 트랜젝션의 장기적 대기현상을 최소화하도록 줄임으로써 동시성 제어의 정도를 높일 수 있는 새로운 확장형 이타적 잠금기법을 이용한 외부 스케쥴링 기법을 연구한다. We propose an advanced transaction scheduling protocol for concurrency control of Distributed databases in Distributed. Performance declension has arise to long-time possession of Long-lived Transaction. So short-lived transaction must quickly access database without any delay by long-lived one. We adapted Altruistic protocol, namely more extended syntax-oriented serializability notions, to Distributed Databases in Distributed Network Environment. Altruistic locking, as an advanced protocol, has attempted to reduce delay effect associated with lock release moment by use of the idea of donation. An improved form of altruism has also been deployed for extended altruistic locking. This is in a way that scope of data to be early released is enlarged to include even data initially not intended to be donated. Our protocol is based on extended altruistic locking, but a new Scheduling method, namely External Scheduler for Distributed Database System(EsDDS), is additionally used in order to satisfy serializability requirements and concurrency. With we research external scheduling method of extention with regard to XAL in a way that short-lived transaction are not also vulnerable to tolerate long-duration waiting

역할기반 접근제어를 기반으로 한 데이터베이스 보안모델 설계

박기홍,김응모 成均館大學校 科學技術硏究所 2001 論文集 Vol.52 No.1

일반적인 운영체제의 보안과 마찬가지로 데이터베이스에서도 보안의 중요성은 강조되고 있다. 데이터베이스에 접근하는 사용자는 공통된 등급을 갖고 있지 않고, 다양한 등급을 갖고 데이터베이스에 접근하게 된다. 데이터베이스도 하나의 고정된 등급이 아닌 각 정보의 중요성에 따라 다양한 등급을 갖고 있다. 이러한 다중등급을 가지고 있는 데이터베이스와 사용자간에 상위등급의 사용자가 사용하고 접근하는 상위등급 데이터가 하위등급의 사용자가 사용하고 접근하는 하위등급 데이터로 유입된다면 정보의 유출과 데이터의 무결성(integrity)이 깨지게 되어 데이터베이스뿐만 아니라 시스템 전체의 보안도 위협받게 된다. 본 연구에서는 대량의 데이터베이스 환경에서 다양한 보안등급을 가지고 있는 사용자가 다양한 등급을 가지고 있는 대용량 데이터베이스에 접근할 때 이를 강제적 접근제어(MAC: Mandatory Access Control)와 역할기반 접근제어(RBAC: Role-Based Access Control) 그래프를 이용해 관리자가 이를 효과적으로 관리하고, 사용자 보안등급에 따른 접근을 제어하며 상위등급의 데이터가 하위등급으로 유출되지 않도록 이를 효율적으로 관리 할 수 있는 보안 모델을 제시하는데 중점을 두었다.

웹 질의 기반의 동적 웹 에디터 시스템의 설계 및 구현

조준호,임종수,김응모 成均館大學校 科學技術硏究所 2000 論文集 Vol.51 No.1

As web environment and technology improve rapidly these days, many users get desirable information by means of web, and represent the information that they have through web pages construction. Therefore, importance and application of web editor for easy and convenient homepage making have increased. In this paper, we propose a web query system based on dynamic web editor. The editor makes it possible for users to conveniently make homepages by improving limit of client based web editor or template web page service supplied by hosting site. And users search for desirable information through web pages on the huge web, so they can add this information for users web page or create new web page. Through this web editor which implements server based on the web, users can make web page flexiblely and can make polished web page which increases reading and comprehensiveness to access information easily.

전력 송·배전 시스템 상에서 발생하는 이벤트에 대한 데이터 마이닝 가상 트랜잭션과 연관 규칙의 적용

이준섭,이창언,윤상일,김응모 成均館大學校 科學技術硏究所 2002 論文集 Vol.53 No.1

There has been much research on data mining techniques for applying more advanced applications. In this paper, we introduce a approach to convert time series data into virtual transaction data for analysis power electronic transmission and distribution system. However, most of these techniques has focused on transaction data rather than time series data. We present a new way which is discovered and repaired faults of Electric Power system using Data Mining techniques.

A Case of Staphylococcus Lugdunensis infective endocarditis (초)

Mo Se Kim,Sang Hoon Seol,Dong Soo Kim,Dong Kie Kim,Young Bok Kim,Ung Kim 대한내과학회 2009 대한내과학회지 Vol.77 No.4S

A Case of Staphylococcus Lugdunensis infective endocarditis

Mo Se Kim,Sang Hoon Seol,Dong Soo Kim,Dong Kie Kim,Young Bok Kim,Ung Kim 대한내과학회 2009 대한내과학회 추계학술대회 Vol.2009 No.-

Updating Mechanism Accepting Indefinite Answer in Integrity Checking

KIm, Ung-Mo 成均館大學校 科學技術硏究所 1992 論文集 Vol.42 No.2

The difficulty for integrity checking in indefinite databases is that integrity test may evaluate to indefinite as well as true or false. We will show that if the test evaluates to indefinite, then there will be situations in the updated database in which the constraint is violated. Thus, even though we cannot be sure that those particular violating database states will actually occur in reality, we must either reject the update or else provide some other means to guarantee that integrity cannot possibly be violated. For this purpose we identify the properties of the violating states and provide mechanisms (somewhat like a secondary update) which eliminate those states while still allowing for the update to be accepted.

Mining Frequent Itemsets with Normalized Weight in Continuous Data Streams

Kim, Young-Hee,Kim, Won-Young,Kim, Ung-Mo Korea Information Processing Society 2010 Journal of information processing systems Vol.6 No.1

A data stream is a massive unbounded sequence of data elements continuously generated at a rapid rate. The continuous characteristic of streaming data necessitates the use of algorithms that require only one scan over the stream for knowledge discovery. Data mining over data streams should support the flexible trade-off between processing time and mining accuracy. In many application areas, mining frequent itemsets has been suggested to find important frequent itemsets by considering the weight of itemsets. In this paper, we present an efficient algorithm WSFI (Weighted Support Frequent Itemsets)-Mine with normalized weight over data streams. Moreover, we propose a novel tree structure, called the Weighted Support FP-Tree (WSFP-Tree), that stores compressed crucial information about frequent itemsets. Empirical results show that our algorithm outperforms comparative algorithms under the windowed streaming model.