首页> 外文OA文献 >Incremental maintenance of shortest distance and transitive closure in first-order logic and sql

【2h】

Incremental maintenance of shortest distance and transitive closure in first-order logic and sql

机译：在一阶逻辑和sql中增量维持最短距离和传递闭包

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Chaoyi Pang; Guozhu Dong;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Incremental Maintenance of Shortest Distance and Transitive Closure in First-Order Logic and SQL [J] . CHAOYI PANG, GUOZHU DONG, KOTAGIRI RAMAMOHANARAO ACM transactions on database systems . 2005,第3期

机译：一阶逻辑和SQL中最短距离和传递闭合的增量维护
2. Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [J] . JoostEngelfriet, HendrikJanHoogeboom Logical Methods in Computer Science . 2007,第2期

机译：带有嵌套小卵石的自动机通过传递闭包捕获一阶逻辑
3. Monadic Second-Order Logic and Transitive Closure Logics Over Trees [J] . Hans-J?rg Tiede, Stephan Kepser Research on Language & Computation . 2009,第1期

机译：树上的单子二阶逻辑和传递闭合逻辑
4. First-Order Transitive Closure Axiomatization via Iterative Invariant Injections [C] . Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda International symposium on NASA formal methods . 2015

机译：通过迭代不变注射进行一阶传递闭合公理化
5. Biomedical literature mining with transitive closure and maximum network flow. [D] . Hoblitzell, Andrew P. 2011

机译：生物医学文献挖掘，具有传递性封闭和最大的网络流量。
6. From the Cover: Transitive functional annotation by shortest-path analysis of gene expression data [O] . Xianghong Zhou, Ming-Chih J. Kao, Wing Hung Wong 2002

机译：从封面：通过基因表达数据的最短路径分析进行传递性功能注释
7. Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL [O] . orcid:0000-0003-3304-9268, Pang CY, Dong GZ, 2005

机译：在一阶逻辑和sQL中对最短距离和传递闭包进行增量维护
8. Survey of Parallel Execution Strategies for Transitive Closure and Logic Programs [R] . Cacace, F., Ceri, S., Houtsma, M. A. W. 1990

机译：传递闭包与逻辑程序并行执行策略综述

Incremental maintenance of shortest distance and transitive closure in first-order logic and sql

著录项

引文网络

相似文献

相关主题

期刊订阅