×

挪威船级社

swMATH ID: 46919
软件作者: 罗伯特·布里德(Robert Brijder);Joris J.M.Gillis。;Van den Bussche,简
描述: DNAQL:DNA标签复合体的查询语言。DNA计算具有丰富的计算范式历史,具有强大的表达能力。然而,数据操作所需的表达能力要少得多。事实上,关系代数是数据库系统的尺度,它可以用一阶逻辑表示,因此不如图灵完备模型强大。图灵完备的DNA计算模型必须考虑许多不同的场景。数据操作的DNA实现可能比图灵完全DNA计算模型更灵活,执行操作更快。因此,我们提出了一个用于实现数据操作的限制性模型,重点关注DNA中的可实现性。我们将此模型称为贴纸复合体模型。粘贴复合模型的一个优点是它能够检测杂交何时成为不受控制的连锁反应。这种链式反应使杂交的可预测性降低,因此对确定性计算的吸引力降低。接下来,我们在标签复合体上定义一种查询语言,称为挪威船级社.DNAQL是一种类型化的应用函数编程语言,功能强大,足以模拟粘贴复合体上的关系代数。该类型系统具有许多理想的特性,如稳健性、最大性和紧密性。
主页: https://link.springer.com/article/10.1007/s11047-020-09839-7
关键词: DNA数据库;杂交;类型系统;贴纸复合模型;挪威船级社
相关软件:
引用于: 2文件

连载1篇

1 自然计算

在1个字段中引用

2 计算机科学(68-XX)

按年份列出的引文