关系演算运行机制的分析与研究_刘智斌.pdfVIP

∗ 60 ∗ 2003 ( 广西大学计算机与信息工程学院, 广西南宁530004) : 在分析关系演算运行机制的同时, 介绍了一 易于正确理解和设计关系演算表达式的方法, 并 通过实例揭示了它与SQL 语言之间的密切联系 : 关系演算; 关系代数; 全称量词; 存在量词; SQL 语言 : TP311 : A : 2003) Analysis and Research f Functi nal Mechanism f Relati nal Calculus LIU Zhi bin ( College of Comp uter I nf ormation Engineeri ng , Guangxi Univers ity , N anning Guangxi 530004, China) Abstract: This paper intr duces a meth d t c rrectly design the query expressi n f Relati nal Calculus while analyzing its functi nal mechanism and presents the cl se relati nship with SQL language by taking examples. Key words: Relati nal Calculus; Relati nal Algebra; Universal Quantifier; Existential Quantifier; SQL Language SC , SC( s# , c# , g) , 1 SQL !∀, : c2 c4 ( , s# c# = #c2#v c# = #c4# , (sc) ) , , {t[ s# ] | SC(t) ∃( t[ c# ] = #c2# !∀( %t[ c# ] = #c4#) } , , ) , , SQL , ,, , , , ( ) ( ) ( ) SQL 1: c2 2 , , , , , :