불완전 릴레이셔날 모형의 확대 릴레이셔날 대수와 비진리 함수성에 관한 연구

박석(Seog Park) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.3

In Incomplete Relational Model, incomplete information can be represented by the notion of partial information, in the sense that the value of an attribute can be a subset of its domain. By this model, two types of results to a given query Q can be expected. One is the set of tuples which truely satisfy the query Q. The other is the set of tuples which may implicitly satisfy Q. To establish theoretical basis for those responses, an extended relational algebra is defined, whose semantics is restricted to this model. Since the truth-functionality is not pertinent during the evaluation of queries against incomplete relations, that is, the predicate expression against incomplete relation does not have the same interpretation as the logical composition of all its atomic predicates, the nontruth-functionality is formally studied. 본 논문은 불완전 정보를 표시하기 위하여 개체의 속성 값을 속성 domain의 부분 집합으로 취할 수 있다는 의미로서의 부분정보 개념을 사용한다. 불완전 릴레이셔날 모형에서는 질의문에 두 형태의 응답을 고려한다. 하나는 질의문을 확실히 만족시키는 tuple들의 집합이고, 다른 하나는 질의문을 만족할지도 모르는 tuple들의 집합이다. 질의문 처리의 이론적인 기초를 세우기 위하여 확대 릴레이셔날 대수를 의미론적으로 적절하게 정의한다. 진리함수성이 불완전릴레이션에 대한 질의문 처리에는 접합하지 못하므로, 질의문의 프레디키트 표현이 질의문을 구성하는 모든 atomic 프레디키트의 논리적 합성과 같은 의미를 갖지 않는다는 비진리함수성을 형식적으로 연구한다.

상피성 난소암 환자에서 예후인자로서의 혈소판 증가증에 관한 연구

박진실 ( Park Jin Sil ),이유석 ( Lee Yu Seog ),이규락 ( Lee Gyu Lag ),김영재 ( Kim Yeong Jae ),박건호 ( Park Geon Ho ),김성희 ( Kim Seong Hui ),박민수 ( Park Min Su ),조삼현 ( Jo Sam Hyeon ),김경태 ( Kim Gyeong Tae ) 대한산부인과학회 2003 Obstetrics & Gynecology Science Vol.46 No.10

목적 : 본 연구에서는 상피성 난소암 환자에서 혈소판 증가증에 대한 빈도와 여러 가지 임상지표와의 연관성을 알아보고 예후인자로서의 의미와 생존율에 미치는 영향에 대하여 알아보고자 한다 연구 방법 : 1984년 1월 1일부터 2001년 12월 31일까지 만 18년 동안 한양대학병원 산부인과에 내원하여 종양 축소술 및 항암화학요법을 시행 받고 추적 조사를 하였던 183명의 상피성 난소암 환자를 대상으로 환자의 연령, 조직학적 형태, FIGO 병기, 조직 분 Objective : We tried to determine the relevance of thrombocytosis as a possible prognostic factor in patient with epithelial ovarian cancer. Methods : One hundred and eighty-three (183) patients with epithelial ovarian cancer had been surgically treated i

통계 데이타베이스를 위한 개체-관련성 모형의 확장

박석(Seog Park),이애영(Ai Young Lee) 한국정보과학회 1987 정보과학회논문지 Vol.14 No.1

The commercial database (CDB) model is not suited for the representation of the statistical analysis, due to the special characteristics of the SDB. First, the extension of E-R model is studied in order to use in the description of SDB. As an example of the application of the statistical E-R model, the information about the hospital is represented. Finally, the performance of the statistical E-R model as a design tool for SDB is evaluated and the further researches are suggested. 통계 데이타베이스 자체의 특성 때문에 기존의 상용 데이타베이스 모형은 통계적 분석의 표현에 부적합하다. 기존의 상용 데이타베이스 모형에 적합하지 못한 통계 데이타베이스의 특징과 이러한 특징표현을 위하여 고안한 통계적 모형을 분석한다. 상용 데이타베이스 설계과정에서 일반적으로 사용하는 개체-관련성 모형을 통계 데이타베이스의 표현에 사용하기 위한 통계적 개체-관련성 모형으로의 확장을 연구한다. 병원자료 모형화를 통하여 통계적 개체-관련성 모형을 구체적으로 평가한다. 마지막으로, 설계도구로서의 통계적 개체-관련성 모형을 종합적으로 평가하고 앞으로의 연구방향과 개선책을 고찰한다.

[서평]「데이터베이스 보안」

박석(Seog Park) 한국정보과학회 2001 정보과학회지 Vol.19 No.7

다단계 보안 데이타베이스 시스템에서 얼림기법에 기초를 둔 다중버전 병행수행 제어 프로토콜

박찬정(Chanjung Park),박석(Seog Park) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.8

다단계 보안 데이타베이스 시스템은 데이타베이스의 논리적 일관성 유지뿐만 아니라 권한을 부여받지 못한 사용자에게 기밀성을 띤 데이타가 노출될 수 있는 통로인 비밀채널의 방지라는 추가적인 요구사항을 갖는다. 본 논문에서는 첫째, 다단계 보안 데이타베이스 시스템의 요구사항들을 모두 만족시키면서 트랜잭션들을 처리하는 프로토콜을 제안한다. 제안하는 프로토콜은 다중버전 로킹(locking)에 기초를 두면서 요구사항들을 만족시키기 위해 새로운 기법인 얼림(freezing) 기법을 사용한다. 둘째, 제안한 프로토콜이 기존의 다중버전에 기반을 둔 프로토콜들보다 높은 병행수행 정도를 보장함을 증명하기 위해 다중버전 병행수행 제어 프로토콜을 위한 새로운 정확성 기준인 FR-직렬성(FR-serializability)을 제안한다. 또한, 로킹에 기초를 두고 있거나 혹은 다중버전을 사용하고 있는 프로토콜들과 제안한 프로토콜의 성능을 모의실험을 한 후, 프로토콜들의 특성을 비교하고 분석한다. 제안한 프로토콜은 FR-직렬성을 보장하고 비밀채널을 방지할 뿐만 아니라 얼림기법의 도입으로 기존의 다단계 보안 데이타베이스 시스템을 위한 프로토콜들보다 상위등급 트랜잭션들의 기아현상을 줄인다. Multilevel secure database systems must satisfy logical database consistency in addition to eliminating unauthorized information flows, namely covert channels. In this paper, we first propose a new concurrency control protocol which ensures the above two requirements. The proposed protocol is based on multiversion locking scheme and it uses a new method, called freezing method. Second, we propose alternative correctness criteria, called FR-serializability, for multiversion concurrency control in order to show that our protocol provides a higher degree of concurrency than the existing protocols based on multiversions. In addition, we perform a simulation study and then compare our protocol with other protocols which are based on either locking or multiversions The proposed protocol ensures FR-serializability, eliminates covert channels, and reduces the starvation of high security level transactions than the existing protocols for multilevel secure database systems.

실시간 데이타베이스 시스템에서 시간 일관성 만족을 위한 완화된 기준의 적용

박석(Seog Park),김창수(Chang-Su Kim) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.5

트랜잭션이 공유 데이타를 접근할 때, 논리적 일관성을 보장하기 위해 병행수행 제어 기법이 사용된다. 실시간 데이타베이스 시스템에서 트랜잭션은 종료시한과 같은 시간 제약사항을 가지며, 데이타에 대한 시간 일관성을 만족해야 한다. 그러나, 병행수행 제어 기법은 시간 제약사항의 만족과 시간 일관성 만족을 어렵게 한다. 본 논문에서는 판독전용 트랜잭션에 대해 완화된 일관성 기준을 도입한다. 판독전용 트랜잭션은 데이타베이스의 상태를 변경하지 않으므로 일관성 기준은 완화될 수 있다. 기존의 병행수행 제어 기법에 이들 기준들을 적용하고 통합함으로써 논리적 일관성과 시간 일관성 사이에서 발생하는 충돌을 해결할 수 있다. 이로써, 시스템내의 모든 트랜잭션이 논리적 일관성 뿐만아니라 시간 일관성도 항상 만족할 수 있음을 보인다. 논문의 끝에서는 제안된 병행수행 제어 기법과 기존의 두가지 병행수행 제어 기법의 성능을 비교 평가한다. 제안된 기법은 첫번째 기법보다 나은 성능을 보이며 두번째보다는 떨어진 성능을 보인다. 그러나, 두번째 기법은 시간 일관성을 만족하지 못하기 때문에 실시간 응용의 의미를 갖지 못하는 단점을 갖는다. When transactions access shared data, a concurrency control scheme is used to ensure logical consistency. In real-time database systems, transactions have timing constraints such as deadline, and have to maintain temporal consistency of data However, the use of concurrency control makes it difficult to maintain not only the timing constraints but also the temporal consistency of data. In this paper, we introduce the weak forms of consistency for read-only transactions. Since read-only transactions don't modify the database state, we can weaken the consistency for them. By applying these forms of consistency to a previous work for concurrency control and integrating them, we can resolve conflicts which can occur between maintaining logical consistency and temporal consistency. As a result, we can prove that an transactions in the system always preserve temporal consistency as well as logical consistency of data. At the end of this paper, we will evaluate and compare the performance of concurrency control algorithm supposed in this paper and two previous works. Results will show that supposed algorithm is better than a previous work and less than the other in the performance aspect. But, the latter has a defect that has no meaning of real-time application because it cannot maintain temporal consistency of data.

유압유의 동점도와 부하변화에 따른 압력의 영향

박주석(Park Ju-Seog),김일수(Kim Ill-Soo),정영재(Jeong Young-Jae),손준식(Son Joon-Sik),안영호(An Young-Ho) 한국정밀공학회 1997 한국정밀공학회 학술발표대회 논문집 Vol.1997 No.11월-1

스트리밍 XML 데이타에서 영역 윈도우를 사용한 조인 질의의 범위 최소화 기법

박석(Seog Park),김미선(Misun Kim) 한국정보과학회 2006 정보과학회논문지 : 데이타베이스 Vol.33 No.2

XML이 인터넷 상에서 데이타 교환의 표준으로 자리매김하면서 스트리밍 환경의 XML 데이타에 대한 효과적인 조인 질의 처리도 증가하고 있다. 튜플 단위로 처리하는 기존의 데이타베이스 기법을 스트리밍 XML 데이타에 적용했을 때 제한된 메모리 사용에 따른 메모리 한계를 초과하는 문제가 발생한다. 또한 구조적인 특징을 가지는 XML 데이타에 대한 질의 경로 탐색 및 특정 부분 데이타에 대한 접근에 소모되는 처리 비용이 급격히 증가하는 문제가 발생하게 된다. 근본적으로 전체 데이타가 아닌 부분 데이타를 저장하고 질의 처리해야 하는 스트리밍 환경에 적용하기에는 부적절하다. 따라서 스트리밍 XML 데이타에 맞는 저장 기법으로 적은 메모리의 사용을 통해 빠르게 조인 프레디킷을 만족하는 부분 스트리밍 데이타를 검색할 수 있는 새로운 기법이 요구된다. 본 논문에서는 적은 메모리 사용을 위한 저장 기법을 위해 PCDATA와 CDATA에 해당되는 부분만을 추출하여 저장한다. 그리고 빠른 조인 프레디킷(Predicate) 비교를 위해 DTD의 구조정보 중 지시자(Cardinality) “*” 와 “+”를 기초하여 영역 윈도우(Range Window)를 설정하여 질의에 만족하는 윈도우만을 선택적으로 조인하는 기법을 제안하여 문제를 해결한다. As XML became the standard of data exchange in the internet, the needs for effective query processing for XML data in streaming environment is increasing. Applying the existing database technique which processes data with the unit of tuple to the streaming XML data causes the out-of-memory problem due to limited memory volume. Likewise the cost for searching query path and accessing specific data may be remarkably increased because of special structure of XML. In a word it is unreasonable to apply the existing database system to the streaming environment that processes query for partial data, not the whole one.Thus, it should be able to search partial streaming data that rapidly satisfies join predicate through using low-capacity memory, based on a store technique suitable to streaming XML data. In this thesis, in order to study the store technique for low-capacity memory, the PCDATA and the CDATA-related parts, which can be used as predicate on join query, were fetched and saved. In addition, in an attempt to compare rapid join predicates, the range window of streaming XML data was set with the object of selectively joining windows that satisfies the query, based on Cardinality * and + among the structure information of DTD.

부분매칭 경로질의를 위한 포스트픽스 공유에 기반한 스트리밍 XML 데이타 필터링 기법

박석(Seog Park),김영수(Young-Soo Kim) 한국정보과학회 2006 정보과학회논문지 : 데이타베이스 Vol.33 No.1

센서 네트워크나 유비쿼터스 환경이 보급되면서 최근에는 저장되어 있는 데이타가 아닌 계속적으로 빠르게 지나가는 스트리밍 데이타에 대한 연구가 활발하게 이루어지고 있다. 기존의 Publish-Subscribe 시스템도 인터넷의 발달로 데이타가 실시간으로 빠르게 들어오는 스트리밍 데이타의 형태를 가지게 되면서 스트리밍 데이타 연구에 관심을 가지게 되었고 이 중에서도 웹 환경의 표준으로 많이 사용되는 XML에 관심을 가지게 되었다. Publish-Subscribe 시스템에서 서버에 들어오는 스트리밍 XML 데이타에 대해서 질의에 빠르게 매치(match)되는 것을 찾기 위한 스트리밍 XML 데이타 필터링 기법이 오토마타를 이용해서 연구되었으며, 이중에서 비결정적 오토마타를 사용한 방법이 YFilter이다. 비결정적 오토마타를 사용하는 YFilter의 경우 질의 앞부분의 공통된 오퍼레이터를 한번에 계산하기 위해서 XPath 질의의 공통된 앞부분을 공유하고 질의의 루트부터 처리하는 하향식 방식을 사용하고 있다. 하지만, 부분매칭 경로질의의 경우에는 질의의 앞부분 공유를 방해하고 질의를 루트에서부터 처리할 필요가 없기 때문에 YFilter에서 부분매칭 경로질의가 증가하면 처리량이 떨어지는 문제가 발생한다. 본 논문에서는 이 문제 대해 XPath 질의의 공통된 뒷부분 공유에 기반한 상향식 방식을 사용하는 PoSFilter를 한가지 해결책으로 제시한다. 그리고 YFilter와 PoSFilter의 처리량을 비교를 통해서 PoSFilter의 경우 부분매칭 경로질의가 증가할 때 YFilter보다 좋은 처리량을 나타내는 것을 검증한다. As the environment with sensor network and ubiquitous computing is emerged, there are many demands of handling continuous, fast data such as streaming data. As work about streaming data has begun, work about management of streaming data in Publish-Subscribe system is started. The recent emergence of XML as a standard for information exchange on Internet has led to more interest in Publish?Subscribe system. A filtering technique of streaming XML data in the existing Publish- Subscribe system is using some schemes based on automata and YFilter, which is one of filtering techniques, is very popular. YFilter exploits commonality among path queries by sharing the common prefixes of the paths so that they are processed at most one and that is using the top-down approach. However, because partial matching path queries interrupt the common prefix sharing and don’t calculate from root, throughput of YFilter decreases. So we use sharing of commonality among path queries with the common postfixes of the paths and use the bottom-up approach instead of the top-down approach. This filtering technique is called as PoSFilter. And we verify this technique through comparing with YFilter about throughput.

XML 문서의 접근제어에 관한 연구

박석(Seog Park),최동희(Dong-Hee Choi) 한국정보과학회 데이터베이스 소사이어티 2003 데이타베이스 연구 Vol.19 No.1