IEEE知识与数据工程汇刊,第6卷
第6卷第1期,1994年2月
本杰明·W·华 :
编辑。 1-2 袁燕堂 , 常德燕 , Ching Y.Suen先生 :
用于自动知识获取的文档处理。 3-21 Sanja Vranes公司 , 姆拉登·斯坦诺杰维奇 :
Prolog/Rex-一种扩展Prolog以获得更好的知识表示的方法。 22-37 扬尼斯·约阿尼迪斯 , Manolis M.Tsangaris公司 :
BERMUDA的设计、实现和性能评估。 38-56 托马斯·韦格特 , 杰弗里·J·P·蔡 :
一种可计算的非单调逻辑。 57-63 迪迪埃·杜布瓦 , 杰罗姆·朗 , 亨利·普拉德 :
使用可能性逻辑的自动推理:语义、信念修正和可变确定性权重。 64-71 S.K.迈克尔·黄 , Pawan Lingras公司 :
用定量信念函数表示用户的定性偏好。 72-78 M.V.Ramakrishna先生 :
束缚障碍档案组织。 79-85 马克斯·伊根霍夫(Max J.Egenhofer) :
空间SQL:一种查询和表示语言。 86-95 韩嘉伟 :
演绎数据库中基于约束的查询求值。 96-107 Byung Suk Lee先生 , 吉奥·维德霍尔德 :
通过视图实例化关系数据库中对象的外部联接和筛选器。 108-119 戈兹·格雷夫 :
Volcano-一个可扩展的并行查询评估系统。 120-135 孙伟(音译) , 克莱门特·T·余 :
树和链查询的语义查询优化。 136-151 陈明善 , 菲利普·S·余 :
分布式查询处理中确定连接减缩器序列的图论方法。 152-165 迪米特里奥斯·乔治科普洛斯 , 马雷克·鲁辛基维茨 , 阿米特·谢斯(Amit P.Sheth) :
使用Tickets来强制多数据库事务的可序列化性。 166-180 赢得S.Lee , 菲利普·C·Y·休 :
大规模并行环境下面向对象的逻辑数据库查询评估方案。 181-187 韩亮教授 , 大卫·黄 :
在大型网络中建立安全通信信道的协议。 188-191
第6卷第2期,1994年4月
埃尔克·A·伦登施泰纳 , Lubomir Bic公司 , 乔纳森·吉尔伯特 , 蒙莱因 :
设置语义分组的限制。 193-204 李青(音) , 丹尼斯·麦克劳德 :
通过对象数据库中的学习实现概念数据库的演化。 205-224 拉凯什·阿格拉瓦 , H.V.贾加迪什 :
搜索海量图的算法。 225-238 马歇尔·D·布莱恩 , 阿兰·萨普 :
使用尝试消除完美散列中的模式冲突。 239-247 爱德华·奥米辛斯基 , Liehuey Lee公司 , 彼得·谢尔曼 :
一种用于记录聚类的并发文件重组算法的性能分析。 248-257 斯特凡诺·斯帕卡皮埃特拉 , Christine父母 :
视图集成:解决结构冲突的前进一步。 258-274 爱德华多·B·费尔南德斯 , 埃胡德·古德斯 , 宋海燕 :
面向对象数据库中的安全性评估和管理模型。 275-292 迈克尔·皮塔雷利 :
概率数据库代数。 293-303 艾琳·田林 , 爱德华·奥米辛斯基 , Sudhakar Yalamanchili公司 :
超立方体多处理器上的大型连接优化。 304-315 多米尼克洛朗 , 尼古拉斯·斯皮拉托斯 :
更新通用方案接口的分区模型方法。 316-330 阿西特·丹 , 丹尼尔·迪亚斯 , 菲利普·S·余 :
具有倾斜数据访问的数据共享环境的缓冲区分析。 331-337 拉维·穆卡马拉 :
存储效率高且安全的复制分布式数据库。 337-341 选手库马尔 :
G-Tree:一种组织多维数据的新数据结构。 341-347
第6卷第3期,1994年6月
张成琦 :
不精确推理模型中命题不确定性的异构转换。 353-360 Jun Gu先生 :
可满足性全局优化(SAT)问题。 361-381 李武丽 :
具有否定的逻辑程序的高级Petri网模型。 382-395 霍华德·贝克 , 塔里克·M·安瓦尔 , Shamkant B.纳瓦西 :
一种用于数据库模式设计的概念聚类算法。 396-411 薛妙路 , 塔拉姆·S·狄龙 :
面向对象系统的代数理论。 412-419 克劳迪奥·萨托里 , 玛丽亚·丽塔·斯卡拉斯 :
关系数据库中非均匀数据分布的部分索引。 420-429 Dong-Guk Shin先生 :
期望驱动的反应理解范式。 430-443 阿米哈·莫特罗 :
数据库查询的基本答案。 444-454 马丁·范·博梅尔 , 格兰特·韦德尔 :
关于复杂对象上的方程和函数依赖的推理。 455-469 纳比尔·R·亚当 :
分布式数据库系统的一种新的动态投票算法。 470-478 加布里埃尔·马茨利奇 , 奥德·什穆埃利 :
在多处理器多磁盘环境中维护大索引的组合方法。 479-496 乔治·迪尔 , Aditya N.Saharia公司 :
估算数据库组织中的块访问。 497-499
第6卷第4期,1994年8月
拉胡·拉马克里希南 , 迪维什·斯利瓦斯塔瓦 , S.Sudarshan公司 :
逻辑程序自下而上定点评估中的规则排序。 501-517 王珂(Ke Wang) , 李彦元 :
程序属性的一阶逻辑表征。 518-533 S.Manivannan公司 , S.A.格思里 :
基于知识的致命事件决策模型。 534-548 石田聪 :
生产系统的优化算法。 549-558 詹森·宗利王 , 张开忠 , Karpjoo Jeong公司 , 丹尼斯·沙沙 :
近似树匹配系统。 559-571 马克·吉森 , Jan Paredaens公司 , 简·范登·巴斯彻(Jan Van den Bussche) , 德克·范·古赫特 :
面向图形的对象数据库模型。 572-586 阿尔芬斯·坎佩尔 , 克里斯托夫·基尔格 , 吉多·莫尔科特 :
对象库中的功能物化:设计、实现和评估。 587-608 弗里德 , 柴塔尼亚·巴鲁 :
多计算机数据库系统中的站点和查询调度策略。 609-619 M.W.Du先生 , 张世昌 :
一种设计快速近似字符串匹配算法的方法。 620-633 阿兰扎·伊拉拉门迪 , 何塞·米盖尔·布兰科 , 阿尔弗雷多·戈尼 :
提高知识库系统的效率:检测不一致查询的方法。 634-639 李建忠 , 詹姆斯·S·K·昂 , 童学军 , 米歇尔·图尼 :
AMS:程序知识层次表示的声明形式主义。 639-643 阿韦利诺·J·冈萨雷斯 , 哈雷·R·迈勒 , 弗雷德里克·麦肯齐 , 马苏德·托希德内贾德 , 罗宾·克拉德克 :
自动系统模型生成器的验证。 643-648 乔治奥斯·帕帕迪米特里奥 :
学习自动机强化方案设计的一种新方法:随机估计学习算法。 649-654 乔治奥斯·帕帕迪米特里奥 :
快速收敛、高精度的分层离散追踪非线性学习自动机。 654-659
第6卷第5期,1994年10月
Rok Sosic公司 , Jun Gu先生 :
冲突最小化的高效局部搜索:n皇后问题的案例研究。 661-668 迈克尔·奥尼尔 , 小W·R·爱德华兹。 :
基于规则的程序的复杂性度量。 669-680 加迪·索洛托列夫斯基 , 埃胡德·古德斯 , Amnon Meisels公司 :
RAPS:一种基于规则的语言,用于指定资源分配和时间表。 681-697 贝奇尔·埃尔·阿耶布 :
大型工业设备诊断系统的系统构建:方法、语言和工具。 698-712 西里尔·S·库 , 香·D·金 , 劳伦斯·亨森 :
不确定演绎数据库中一种有效的不确定性推理方案。 713-722 文余路 , 戴伦·李 , 韩嘉伟 :
线性递归结构的研究。 723-737 韦斯利·朱棣文 , 陈启明 :
一种结构化的协同问答方法。 738-749 帕特里克·马丁 , 佩尔·拉森 , Vinay Deshpande葡萄酒 :
共享对象的基于哈希的并行连接算法。 750-763 菲利普·S·余 , 阿西特·丹 :
基于事务处理耦合体系结构的亲和聚类性能分析。 764-786 马丁·埃尔维格 , 拉尔夫·哈特穆特·古廷 :
空间数据库函数模型中的显式图。 787-804 迪维坎特·阿格拉瓦尔 , 阿穆尔·阿巴迪 , A.E.朗 :
基于有序共享锁的协议性能。 805-818 黛勃·杜塔·甘古利(Deb Dutta Ganguly) , Chilukuri K.Mohan公司 , 桑杰·兰卡 :
一种用于格计算的时空高效编码算法。 819-829 保拉·布里托 :
符号断言对象的顺序结构。 830-834 罗伯特·C·戈尔茨坦 , 维达·C·斯托里 :
物质化。 835-842 Keh-Chang Guh公司 , 克莱门特·T·余 :
线性递归二进制规则子集的高效查询处理。 842-849
第6卷第6期,1994年12月
子佩红 , 曾世雄 :
基于版本空间策略的并行概念学习。 857-867 瓦西里亚迪斯(Stamatis Vassiliadis) , 乔治·特里安塔弗利斯 , 瓦利德·科布罗斯利 :
一个模糊推理数据库问答系统。 868-882 陈英雷 , 布莱恩特·普勒 :
实时专家系统结构上规则分组的性能评估。 883-891 乔治·哈哈拉基斯 , 张品林 , 利奥·马克 , 佩德罗·穆罗·梅德拉诺 :
集成制造中基于规则的信息系统的实施。 892-908 前川弘(Hirotoshi Maegawa) :
ConClass:基于知识的实时分布式处理框架。 909-919 M.P.雷迪 , 班德雷迪·普拉萨德 , P.G.雷迪 , 阿马尔·古普塔 :
异构数据库集成方法。 920-933 戈兹·格雷夫 , 安·林维尔 , 伦纳德·D·夏皮罗 :
排序与重新访问哈希。 934-944 尼科斯·洛伦佐斯 :
非度量测量系统的DBMS支持。 945-953 克里斯蒂安·延森 , 理查德·斯诺德格拉斯 :
时间专业化和泛化。 954-974 A.B.斯蒂芬斯 , 叶琳娜·叶莎 , 基思·E·休姆尼克 :
环形网络上部分复制数据库系统的优化分配。 975-982 杜章 , 道恩·阮 :
准备:知识库验证的代价。 983-989 乔尔·沃尔夫 , 丹尼尔·迪亚斯 , 菲利普·S·余 , 约翰·图雷克 :
存在数据偏差时关系数据库联接并行化的新算法。 990-997 孙伟(音译) , 马克·阿伦·韦斯 :
一种改进的包含算术不等式的蕴涵测试算法。 997-1001