Department of Computer Science Bradley University Peoria, IL 61625;
intelligent database; deductive database; transaction processing; database recovery;
机译:演绎数据库中的事务和更新
机译:DWFS下的一阶演绎数据库中的自顶向下查询处理
机译:关于数据库模式验证的绑架性或演绎性
机译:演绎数据库的事务处理和恢复算法
机译:演绎数据库中的子树消除算法
机译:我们得到了基本事实的算法:在数字图像处理中设计参考数据库
机译:通过演绎/算法相结合的方法验证无限制公交网络中的交易顺序属性
机译:数据库事务的演绎综合