- 연역적 데이터베이스의 의미론에 관한 현실적 접근
- A Practical Approach to Semantics in Deductive Databases
- ㆍ 저자명
- 이대용,Lee. Dae-Yong
- ㆍ 간행물명
- 경영정보학연구
- ㆍ 권/호정보
- 1992년|2권 2호|pp.85-102 (18 pages)
- ㆍ 발행정보
- 한국경영정보학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
A deductive database consists of collection of stored facts and deductive rules. It can answer queries based on logical deduction from the stored facts and general rules. A deductive database has both a declarative meaning(semantics) and a procedural meaning. The declarative semantics of a deductive database provides a definition of the meaning of the program in a manner which is independent of procedural considerations, context-free, and easy to manipulate, exchange and reason about. This paper investigates various declarative semantics of deductive databases, dicusses related computational issues, and suggests another declarative semantics for deductive databases which is more practical than others.