• The KIPS Transactions:PartD
• /
• v.8D no.5
• /
• pp.513-522
• /
• 2001

Active database execute an action of active rule defined in advance which is triggered automatically, whenever an event with the matching event specifications occurs, its condition is evaluated. Because these rules may in turn trigger other rules, the set of rules may be triggered each other indefinitely, Therefore, we propose a termination analysis method to guarantee termination. This proposed method considers composite event as well as rule execution time. Above all, the method not only uses deactivation graph combined to trigger graph for exact analysis, but also improves the complexity of analysis. Also the proposed method enhances accuracy of analysis result.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.58-60
• /
• 2001

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.823-834
• /
• 2001

In the active databases, whenever an event occurs, active rules with the matching event specifications are triggered automatically, its action will be executed. Because these rules may in turn trigger other rules including themselves, the set of rules may be executing each other indefinitely. These problem can be solved by rule termination analysis, and it is efficient for the rule termination to execute in compile time of rule. In this paper we not only design rule compiler with rule termination analyzer, but also propose its execution model and algorithm. The completeness of proposed model is verified by algorithm formalization of rule termination analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.589.2-861
• /
• 2004

XML 문서를 변환하는 목적은 하나의 어플리케이션에서 사용되는 XML 문서를 다른 XML 어플리케이션에서 재 사용하여 사용자에게 동일한 정보를 제공하는데 있다 XML 문서는 어플리케이션 특성에 따라 한 문서에서 전달할 수 있는 정보의 량이 다르다. 따라서 문서를 변환하기 전에 어플리케이션의 특성에 따라 문서를 분할하거나 병합하여야 한다[1]. 또한, XML 문서의 정보는 속성에 따라 문법적인 특성을 가진다. 본 논문은 문벌적인 특성을 의미 속성이라 하고 의미 속성을 파악하기 위해 XML 문서의 의미 구조와 의미 구조 관계를 정의한다. 그리고 정의된 의미 구조와 의에 구조 관계를 이용하여 문서 정보의 속성을 분류하는 방법을 제안한다. 변환 규칙은 의ロP 구조 관계가 유사한 엘리먼트간의 대응으로 정의하고, 변환 규칙을 이용하여 문서 변환을 실행하여 변환 XML과 의미 관계 구조가 유사한 피 변환 XML 문서를 생성한다. 의미구조 분석을 이용한 변환은 기존의 사용 패턴을 분석한 변환에서 벗어나 DTD의 분석을 통한 자동화된 문서 변환 방법을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.436-438
• /
• 2000

다양한 실행 경로가 존재하는 실시간 시스템을 이해하기 위해 시스템의 정적 정보와 함께 동정 정보가 사용자에게 적절히 제공되어야 한다. 본 논문은 정적 정보와 동적 정보를 표현하기 위해 SRL(System Representation Language)을 사용한다. 정적 정보는 SRL 노드를 분석해서 얻고 동적 정보는 SRL을 실행함으로 얻는다. SRL의 가상 실행은 시스템 독립적인 자바 가상 기계를 통해 이루어진다. 가상 실행은 순방향뿐만 아니라 역방향으로도 이루어진다. SRL 실행 라이브러리는 순.역방향 실행을 위해 SRL 각 구문의 의미 규칙에 맞게 정의하며 자바 가상 기계를 통해 실행되는 클래스 파일로 컴파일된다. 메모리에 로딩된 SRL은 SRL 실행 라이브러리를 동적으로 호출하여 가상 실행을 이룬다. 동적 실행을 통해 추출된 동적 정보는 SRL에 포함된다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2281-2293
• /
• 1999

Many applications such as nuclear power plant monitoring, plant process control, stock market management, and network data management require a database system supporting both temporal data model and active rule processing. There have been some efforts to extend the temporal functionalities of the active database system, but an active database system based on temporal database, especially the one applied to the real application is rare. In this paper, we proposed an active temporal rule model based on bi-temporal database. And a rule language following the proposed rule model was described with its execution semantics. Then, how to apply to the nuclear power plant monitoring system was given as the examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.136-138
• /
• 2004

XML 이 웹 상에서의 정보 표현, 통합, 교환을 위한 표준이 됨에 따라 다양한 XML 질의 언어들이 제안되었으며, World Wide Web Consortium(W3C)은 XQery를 XML 질의 언어의 표준으로 권고하였다. XQuery는 SQL과 유사하게 중첩 질의를 허용하므로, 중첩된 XQuery 질의를 동일한 의미를 가지면서 보다 효율적으로 실행될 수 있는 질의로 변환하는 정규화 규칙들이 제안되었다. 그러나 제안된 정규화 규칙들은 제한적인 형태의 중첩 질의에만 적용되는 문제점을 가지고 있다 특히, FLWR 표현식의 where 절에 있는 중첩을 처리할 수 없다. 본 논문에서는 SQL 질의의 정규화 규칙들을 확장하여 FLWR 표현식의 모든 절에 나타나는 중첩을 처리할 수 있는 XQuery 질의의 정규화 규칙들을 제안한다 이를 위해 먼저, 상관과 집계의 유무에 따라 XQuery 질의의 중첩 유형을 분류하고, 각 유형 별로 정규화 규칙들을 제안한다 다음으로, 중첩된 XQuery 질의에 정규화 규칙들을 적용하는 세부 알고리즘을 제안한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.636-639
• /
• 2004

본 논문은 웹 도큐먼트를 기반으로 사용자에게 의미 있는 정보를 찾아주기 위한 연관 객체 추출 기법인 PMPL(Personalized Multi-Strategey Pattern Loaming) 시스템을 제안하고자 한다. PMPL 모듈은 인터넷의 정보를 여과하여 필터링하고, 사용자 개인화의 키워드를 중심으로 연관된 객체를 추출한다. 이때 연관된 객체 추출 시 대용량 데이터에서 시간적, 공간적면에서 효율적인 연관 탐색 기법인 Fp-Tree와 Fp-Growth 알고리즘을 적용시켰으며, 연관규칙 탐색을 보완하기 위해 가중치 기법인 만유인력 기법을 적용시켰다. PMPL 시스템을 실행한 결과 개인화된 사용자 중심어 기초로 기존의 단일 학습 기법에 비해 더 많은 의미 있는 연관 지식을 추출한 결과가 보였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.3B
• /
• pp.95-104
• /
• 2005

The diagram has a intuition and simplicity So, it is widely used in various fields in current computing environment. But, because of the absence of a standard diagram specification method, we have difficulty in exchanging the diagram data between different diagram software and besides, we spend much money and time to code diagram component, rules and semantics to which diagram would be applied. So We propose a method for defining diagram component's shapes and actions, diagram's rules and semantics using XML. And We design and implement the diagram system which execute XML document specifying diagram. In the diagram system, We can define diagram component in WISWIG manner and generate DML document automatically. So We can develop diagram system more efficiently. And by defining diagram rules using DTD, we also achieve the consistency of DTD meaning. And We propose Semantic Definition XML for specifying diagram semantics. So, diagram sentence which drawn by users could be given semantics and executed in diagram system. In this thesis, many VPL(Visual Programming Language) concepts were adopted to implement diagram system environment.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.38 no.3
• /
• pp.41-54
• /
• 2001

This paper propose an active rule and its semantic model integrating active rule system into temporal database. Most of previous works have been focused on condition action(CA) rule for temporal relations. However, proposed active rule model supports full SQL:3 trigger functionalitics including transition variable and table as well as tuple-level and statement-level active rules in E CA granularity. A bi-temporal concept of active rule and valid time event are also proposed newlv.