计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
6期
170-172
,共3页
关系谓词%SQL%全称量词%存在量词
關繫謂詞%SQL%全稱量詞%存在量詞
관계위사%SQL%전칭량사%존재량사
关系谓词推演是集合论在关系数据库的逻辑查询中的理论基石,而SQL是具体实现该逻辑查询的标准计算机语言.特别是对于复杂全称量词的查询问题,很多情况下仅仅是集合论理论层面的推导,通过对复杂全称量词的结构化查询研究,利用集合论的关系谓词逻辑语义推演,通过实际案例对语言中复杂全称量词的分析和集合论推演,得到SQL的具体实现方法.
關繫謂詞推縯是集閤論在關繫數據庫的邏輯查詢中的理論基石,而SQL是具體實現該邏輯查詢的標準計算機語言.特彆是對于複雜全稱量詞的查詢問題,很多情況下僅僅是集閤論理論層麵的推導,通過對複雜全稱量詞的結構化查詢研究,利用集閤論的關繫謂詞邏輯語義推縯,通過實際案例對語言中複雜全稱量詞的分析和集閤論推縯,得到SQL的具體實現方法.
관계위사추연시집합론재관계수거고적라집사순중적이론기석,이SQL시구체실현해라집사순적표준계산궤어언.특별시대우복잡전칭량사적사순문제,흔다정황하부부시집합론이론층면적추도,통과대복잡전칭량사적결구화사순연구,이용집합론적관계위사라집어의추연,통과실제안례대어언중복잡전칭량사적분석화집합론추연,득도SQL적구체실현방법.
