지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제37권 제2호
- 발행연도
- 2010.2
- 수록면
- 148 - 154 (7page)
이용수
초록· 키워드
오류제보하기
불확실성 데이터베이스의 의미론 정의는 보통 주어진 불확실성 데이터베이스를 여러 개의 관계형데이터베이스로 변환하는 산술적 접근방법을 취한다. 이 논문에서는 불확실성데이터베이스를 논리이론으로 변환하는 논리적 접근방법을 통해서 불확실성 데이터베이스의 의미론을 정의하고자 한다. 본 논문에서 제안하는 의미론의 가장 특징적인 면은 기존의 논리적 접근방법에서 사용해온 명제논리 대신에 선형논리를 논리적 근간으로 이용한다는 점이다. 선형논리는 논리식을 불변진리가 아닌 소비가능한 자원으로 해석하기 때문에 불확실성 데이터베이스의 의미론을 정의하는데 적합하다. 본 논문의 핵심 결과는 선형논리에 기반한 불확실성 데이터베이스의 의미론이 산술적 접근방식에서 설명하는 불확실성 데이터베이스의 의미론과 동등하다는 것이다.
목차
요약
Abstract
1. Introduction
2. Preliminaries
3. Linear logic
4. Semantics based on linear logic
5. Related work
6. Conclusion
Reference
참고문헌 (12)
참고문헌 신청
1. [학술지(정기간행물)] - T. Imieli'nski / 1984 / Incomplete information in relational databases / Journal of ACM 31 (4) : 761 ~ 791
2. [학술대회논문] - R. Reiter / 1984 / Towards a logical reconstruction of relational database theory / On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages : 191 ~ 233
3. [학술대회논문] - M. Y. Vardi / 1985 / Querying logical databases / Proceedings of the Symposium on Principles of Database Systems : 57 ~ 65
4. [학술지(정기간행물)] - R. Reiter / 1986 / A sound and sometimes complete query evaluation algorithm for relational databases with null values / Journal of ACM 33 (2) : 349 ~ 370
5. [학술대회논문] - O. Benjelloun / 2006 / ULDBs: databases with uncertainty and lineage / Proceedings of the International Conference on Very Large Data Bases : 953 ~ 964
2. [학술대회논문] - R. Reiter / 1984 / Towards a logical reconstruction of relational database theory / On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages : 191 ~ 233
3. [학술대회논문] - M. Y. Vardi / 1985 / Querying logical databases / Proceedings of the Symposium on Principles of Database Systems : 57 ~ 65
4. [학술지(정기간행물)] - R. Reiter / 1986 / A sound and sometimes complete query evaluation algorithm for relational databases with null values / Journal of ACM 33 (2) : 349 ~ 370
5. [학술대회논문] - O. Benjelloun / 2006 / ULDBs: databases with uncertainty and lineage / Proceedings of the International Conference on Very Large Data Bases : 953 ~ 964
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
데이터베이스 컴퓨터에 관한 연구 ( A Study on Database Machines )
한국통신학회 학술대회논문집
1987 .01
-
공간데이터베이스의 품질평가 방법에 관한 연구 -토지데이터베이스를 중심으로-
한국GIS학회지
2003 .12
-
분산 인 메모리 DBMS 기반 병렬 K-Means의 In-database 분석 함수로의 설계와 구현
정보과학회 컴퓨팅의 실제 논문지
2018 .03
-
관계형 데이터베이스에서 비정규화를 사용한 데이터베이스 설계
대한산업공학회 춘계공동학술대회 논문집
1996 .04
-
데이터베이스 기술(Ⅰ)
데이터베이스월드
1994 .01
-
데이터베이스기술(Ⅱ)
데이터베이스월드
1994 .01
-
데이터베이스 기술
전자공학회논문지-CI
2009 .05
-
데이터베이스 기술
전자공학회논문지-CI
2008 .05
-
시스템 통합 환경을 고려한 논리적 데이터베이스 설계 방법론
데이터베이스월드
1994 .01
-
데이터베이스 설계
데이터베이스월드
1994 .01
-
데이터베이스 설계
데이터베이스월드
1994 .01
-
데이터베이스 설계(Ⅲ)
데이터베이스월드
1994 .01
-
데이터베이스 의미론의 기초 : 자질 구조에서 테이블로
한국정보과학회 언어공학연구회 학술발표 논문집
1999 .10
-
데이터베이스 설계 - 개념적 데이터베이스 설계
데이터베이스월드
1995 .01
-
데이터베이스설계 - 안전한 데이터베이스 설계
데이터베이스월드
1995 .01
-
논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )
대한전자공학회 학술대회
1987 .11
-
선형 논리의 계산
[ETRI] 전자통신동향분석
1996 .09
-
실시간 데이터베이스 시스템
데이타베이스연구
1999 .09
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-569-002622869