%0 Journal Article
%T Query Evaluation for Sub Implication Using Selection Function<br>使用选择函数的亚蕴涵询问求值
%A JIANG Yun fei
%A ZHI Gui lan
%A <br>姜云飞
%A 智桂兰
%J 软件学报
%D 1998
%I 
%X A method for query evaluation for sub implication using selection function is presented. An algorithm IVAL is developed based on the method. IVAL is more simple and efficient than the algorithm VAL presented by Bossu and Siegel. Both VAL and IVAL are implemented on SUN 4 in C Prolog, and the efficiency of the two algorithms is compared.
%K Intelligent database
%K sub
%K implication
%K selection function
%K Class number\ TP18<br>亚蕴涵
%K 选择函数
%K 询问求值算法
%K 数据库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=3D885E39C3A487510826E8268D058F9F&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=CA4FD0336C81A37A&sid=0401E2DB1F51F8DE&eid=68D88C2FCF9C3098&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=0