论文部分内容阅读
基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法，研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式。
Datalog线性递归程序的自动编译
【摘 要】
：
基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法，研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式。
【机 构】
：
空军雷达学院
【出 处】
：
武汉交通科技大学学报
【发表日期】
：
1998年6期
其他文献
食管癌是较常见的一种恶性肿瘤，我国是世界食管癌的高发区，尤以华北３省突出。云南省属低发区，死亡率在全国最低（１０５／１０万），全国平均水平高于最低水平１４倍〔１〕。现将我科１９９１～１９９７年收治１０７例食管癌的情
硒是维持机体正常功能的必需微量元素之一。早在１９５７年Ｓｃｈｗａｒｚ和Ｆｏｌｔｚ首先发现硒（Ｓｅ）对机体的有益作用，Ｓｅ具有多种生物学活性。本文研究昆明地区健康人５５例和慢性肾小球疾病５６例血Ｓｅ水平与谷胱甘肽过氧化物
新生儿ＡＢＯ溶血病产前血清学检查许冰莹景强李建京新生儿期有多种原因引起溶血性疾病，其中以母、婴血型不合引起者较常见。母、婴血型不合约占妊娠的２０％～２５％，其中１／１０～１／２０引起胎儿或新生儿溶
目的:探讨二尖瓣成形术治疗二尖瓣返流的临床疗效。方法:回顾性分析2012年1月至2016年12月在我院心血管病院心脏大血管外科行二尖瓣成形术的非风湿性、缺血性、合并大血管疾
目的探讨联合检测CA125、CA199对卵巢子宫内膜异位症的诊断价值。方法选取2015-10—2017-10间在西平县人民医院治疗的60例卵巢子宫内膜异位症患者为观察组,选取同期在此院做
目的：探讨360°射频去神经化联合关节镜下清理术治疗中重度膝骨性关节病（KOA）对患者机体应激反应、疼痛及膝关节功能的影响。方法：按照入院编号尾数的奇偶将入院接受治疗的中
消化道动力检测作为继Ｘ线及内镜检查的第３种消化道疾病检查法，已在胃肠病学领域成为重要课题。消化性溃疡（ＰＵ）常有消化道动力异常。本文对６２例ＰＵ患者行食管动力检测，以了解ＰＵ患者食管动力变