정보과학회 논문지 B : 소프트웨어 및 응용
Current Result Document : 1 / 1
| 한글제목(Korean Title) |
논리 데이타베이스 시스템의 기능 확장 |
| 영문제목(English Title) |
A Logic Database System with Extended Functions |
| 저자(Author) |
최동훈
이상구
이상호
Donghoon Choi
Sanggoo Lee
Sang Ho Lee
|
| 원문수록처(Citation) |
VOL 24 NO. 04 PP. 0362 ~ 0372 (1997. 04) |
한글내용
(Korean Abstract) |
논리 데이타베이스의 목적은 표현력이 높은 언어를 지원하며 복잡한 응용 시스템을 효율적으로 개발할 수 있는 데이타베이스 시스템을 개발하는 데에 있다. 이 분야의 연구는 순환 질의 처리, 무결성 제약 조건의 실행, 질의 처리 효율성 및 완전성 등에 관해 집중되어 왔고, 이 결과 토대로 여러 프로토타입이 개발되었다. 이러한 성공적인 결과에도 불구하고, 비 혼 데이타, 존재 한정사, 의미론적 질의 최적화, 쓰기 쉬운 사용자 언어 등과 같은 차세대 응용을 위한 논리 데이타베이스가 포함해야 할 중요한 많은 문제가 있다. 우리는 이러한 요구 사항을 만족하는 논리 데이타베이스 시스템의 구조와 설계를 서술한다. 확장된 시스템은 비 혼 데이타로 불확실한 정보를 처리할 수 있으며, 존재 한정사를 허용하여 논리 언어의 표현력을 개선한다. 또한, 무결성 제약 조건을 이용한 의미론적 최적화 모듈은 질의 처리 모듈에 통합된다. 또한 사용자의 용이성을 위해 사용자 언어를 제공한다.
|
영문내용
(English Abstract) |
A goal of logic databases is to give users more expressive language than the conventional database language and thereby provides application programmers with efficiency of database development. Most researchers in this area have focused on recursive query, integrity constraints, etc. And several prototypes have been developed on the basis of the results. In spite of successful achievement, there are many important issues such as non-Horn data, existential quantifier, semantic query optimization which should be solved to support next-generation applications. We present the architecture and functional details of a logic database system that extends to meet the requirement. The system supports indefinite (non-Horn) facts in the extensional database and existential quantification in intentional database rules to improve expressive power of database language. Semantic query optimization integrity constraint is integrated as part of query processing module. And the system provides a user language to improve usability.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
