Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/33464
Title: | DNAQL: a query language for DNA sticker complexes | Authors: | BRIJDER, Robert GILLIS, Joris VAN DEN BUSSCHE, Jan |
Issue Date: | 2021 | Publisher: | SPRINGER | Source: | Natural Computing, 20(1), p. 161-189 | Abstract: | DNA computing has a rich history of computing paradigms with great expressive power. However, far less expressive power is needed for data manipulation. Indeed, the relational algebra, the yardstick of database systems, is expressible in first-order logic, and thus less powerful than Turing-complete models. Turing-complete DNA computing models have to account for many and varied scenarios. A DNA implementation of data manipulations might be nimbler and perform its operation faster than a Turing-complete DNA computing model. Hence, we propose a restrictive model for implementing data manipulation operations, focused on implementability in DNA. We call this model the sticker complex model. A forte of the sticker complex model, is its ability to detect when hybridization becomes an uncontrolled chain reaction. Such chain reactions make hybridization less predictable and thus less attractive for deterministic computations. Next, we define a query language on sticker complexes, called DNAQL. DNAQL is a typed, applicative functional programming language, powerful enough to simulate the relational algebra on sticker complexes. The type system enjoys a number of desirable properties such as soundness, maximality, and tightness. | Notes: | van den Bussche, J (corresponding author), Hasselt Univ, Hasselt, Belgium. jan.vandenbussche@uhasselt.be |
Other: | van den Bussche, J (corresponding author), Hasselt Univ, Hasselt, Belgium. jan.vandenbussche@uhasselt.be | Keywords: | DNA database;Hybridization;Type system;Sticker complex model;DNAQL | Document URI: | http://hdl.handle.net/1942/33464 | ISSN: | 1567-7818 | e-ISSN: | 1572-9796 | DOI: | 10.1007/s11047-020-09839-7 | ISI #: | WOS:000607366800002 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2022 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
types.pdf | Peer-reviewed author version | 468.76 kB | Adobe PDF | View/Open |
s11047-020-09839-7.pdf Restricted Access | Published version | 974.88 kB | Adobe PDF | View/Open Request a copy |
Page view(s)
52
checked on Sep 5, 2022
Download(s)
16
checked on Sep 5, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.