王家华

作品数：4被引量：6H指数：1
导出分析报告
供职机构：东北大学信息科学与工程学院更多>>
发文主题：关系数据库程序设计DATALOG程序面向对象逻辑程序更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《东北大学学报（自然科学版）》《控制与决策》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
线性递归DataLog程序优化算法被引量：3
《控制与决策》2000年第1期59-62,共4页王家华 曹路 金祥意 姚天顺 
提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变...
关键词：逻辑程序 DATALOG程序 程序设计 优化算法 
一类递归查询问题的快速求解算法被引量：1
《控制与决策》1999年第2期140-144,150,共6页王家华 金祥意 张宏霞 姚天顺 
国家自然科学基金
提出一个求解一类扩充递归Ｄａｔａｌｏｇ逻辑程序的算法，论证其正确性，并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点，但比魔集算法简单，易于实现。利用它可以解决工程数据管理中常遇到的产品零...
关键词：传递闭包 关系数据库 递归查询 快速求解算法 
微机关系数据库的递归查询接口被引量：2
《控制与决策》1998年第2期173-176,172,共5页王家华 金祥意 张宏霞 姚天顺 
为满足大型企业中产品零部件数据管理的需要，解决关系数据库所不能解决的递归查询问题，为微机关系数据库设计并实现了一个递归查询接口。该接口能够计算Ｄａｔａｌｏｇ逻辑程序，通过允许规则头部包含函数符号，使规则增加了数值计算...
关键词：关系数据库 递归查询接口 微机 
智能的数据流图辅助生成系统被引量：1
《东北大学学报（自然科学版）》1998年第1期40-43,共4页王家华 徐皑冬 张宏霞 姚天顺 
国家自然科学基金
介绍了一个面向对象的智能的数据流图辅助生成系统，简述了系统的功能、系统的对象结构以及主要对象的数据结构，并提出了数据流图的形式化定义，在此基础上讨论了数据流图完整性约束条件的定义与完整性约束机制的实现．
关键词：数据流图 完整性约束 面向对象 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部