首页> 外文OA文献 >A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

【2h】

A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

机译：基于非确定性构造的数据记录程序转换技术

页面导航

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

著录项

作者
Petros Potikas; Panos Rondogiannis; Manolis Gergatsoulis;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs [J] . Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis Fundamenta Informaticae . 2006,第4期

机译：基于非确定性构造的数据记录程序的价值传播转换技术
2. An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs [J] . K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Journal of Universal Computer Science . 2003,第3期

机译：基于程序几何建模的循环和数据重用转换自动验证技术
3. SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS [J] . MELITA HAJDINJAK, ANDREJ BAUER International Journal of Uncertainty, Fuzziness, and Knowledge-based Systems . 2012,第5期

机译：数据记录程序中基于相似关系
4. A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs [C] . Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis Logic Based Program Synthesis and Transformation . 2002

机译：基于非确定性构造的数据记录程序转换技术
5. Speculation-based techniques for transactional lock-free execution of lock-based programs. [D] . Rajwar, Ravi. 2002

机译：基于推测的技术，用于基于锁的程序的事务性无锁执行。
6. Cultivation of E. coli carrying a plasmid-based Measles vaccine construct (4.2 kbp pcDNA3F) employing medium optimisation and pH-temperature induction techniques [O] . Clarence M Ongkudon, Raelene Pickering, Diane Webster, 2011

机译：使用培养基优化和pH温度诱导技术培养携带基于质粒的麻疹疫苗构建体（4.2 kbp pcDNA3F）的大肠杆菌
7. Order-Theoretic Techniques for Non-Deterministic Programs ; CU-CS-344-86 [O] . Main Michael G 1986

机译：非确定性程序的顺序理论技术； CU-CS-344-86

A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

著录项

引文网络

相似文献

相关主题

期刊订阅