%0 Journal Article %T 使用选择函数的亚蕴涵询问求值 %A 姜云飞 %A 智桂兰 %J - %D 1998 %X 本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法IVAL.这种方法比Bossu和Siegal的算法VAL简便,效率高.IVAL和VAL同时在SUN-4上用C-Prolog语言实现.本文给出了IVAL的理论依据,并把两种算法的执行效果作了比较 %K 智能数据库 亚蕴涵 选择函数 %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19980111&flag=1