电脑知识与技术（学术交流）
電腦知識與技術（學術交流）
전뇌지식여기술（학술교류）
COMPUTER KNOWLEDGE AND TECHNOLOGY
2007年
17期
1213-1215
,共3页
关系数据库%数据库%关系%谓词逻辑
關繫數據庫%數據庫%關繫%謂詞邏輯
관계수거고%수거고%관계%위사라집
本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题.
本文旨在研究將謂詞邏輯及公理化理論應用于關繫數據庫中錶示數據子語言,應用謂詞邏輯作為它的數學基礎,使得對這些語言的研究成為對謂詞邏輯的研究,優化數據子語言的錶示成為對謂詞邏輯的化簡問題.
본문지재연구장위사라집급공이화이론응용우관계수거고중표시수거자어언,응용위사라집작위타적수학기출,사득대저사어언적연구성위대위사라집적연구,우화수거자어언적표시성위대위사라집적화간문제.
