{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:37:49Z","timestamp":1765546669531,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,1,12]],"date-time":"2021-01-12T00:00:00Z","timestamp":1610409600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,12]],"date-time":"2021-01-12T00:00:00Z","timestamp":1610409600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s11047-020-09839-7","type":"journal-article","created":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T06:22:38Z","timestamp":1610518958000},"page":"161-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["DNAQL: a query language for DNA sticker complexes"],"prefix":"10.1007","volume":"20","author":[{"given":"Robert","family":"Brijder","sequence":"first","affiliation":[]},{"given":"Joris J. M.","family":"Gillis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0072-3252","authenticated-orcid":false,"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,12]]},"reference":[{"key":"9839_CR1","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley Publishing Company Inc., Boston"},{"key":"9839_CR2","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"226","author":"LM Adleman","year":"1994","unstructured":"Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 226:1021\u20131024","journal-title":"Science"},{"key":"9839_CR3","volume-title":"Theoretical and experimental DNA computation","author":"M Amos","year":"2005","unstructured":"Amos M (2005) Theoretical and experimental DNA computation. Springer, Berlin"},{"key":"9839_CR4","unstructured":"Appuswamy R, Le\u00a0Brigand K, Barbry P, Antonini M, Madderson O, Freemont P, McDonald J, Heinis T (2019) OligoArchive: using DNA in the DBMS storage hierarchy. In: Proceedings 9th conference on innovative data systems research (CIDR 2019)"},{"key":"9839_CR5","doi-asserted-by":"crossref","unstructured":"Arita M, Hagiya M, Suyama A (1997) Joining and rotating data with molecules. In: Proceedings 1997 IEEE international conference on evolutionary computation (ICEC \u201997), pp 243\u2013248","DOI":"10.1109\/ICEC.1997.592303"},{"key":"9839_CR6","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1126\/science.7725109","volume":"268","author":"EB Baum","year":"1995","unstructured":"Baum EB (1995) Building an associative memory vastly larger than the brain. Science 268:583\u2013585","journal-title":"Science"},{"key":"9839_CR7","doi-asserted-by":"crossref","unstructured":"Bornholt J, Lopez R, Carmean D, Ceze L, Seelig G, Strauss K (2016) A DNA-based archival storage system. In: Conte T, Zhou Y (eds) Proceedings 21st international conference on architectural support for programming languages and operating systems (ASPLOS \u201916). ACM, pp 637\u2013649","DOI":"10.1145\/2872362.2872397"},{"key":"9839_CR8","doi-asserted-by":"crossref","unstructured":"Brijder R, Gillis JJM, Van\u00a0den Bussche J (2012) A type system for DNAQL. In: Stefanovic D, Turberfield A (eds) Proceedings 18th international conference on DNA computing and molecular programming (DNA18), vol 7433. Springer, pp 12\u201324","DOI":"10.1007\/978-3-642-32208-2_2"},{"key":"9839_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s11047-013-9361-1","volume":"12","author":"R Brijder","year":"2013","unstructured":"Brijder R, Gillis JJM, Van den Bussche J (2013a) Graph-theoretic formalization of hybridization in DNA sticker complexes. Nat Comput 12:223\u2013234","journal-title":"Nat Comput"},{"key":"9839_CR10","doi-asserted-by":"crossref","unstructured":"Brijder R, Gillis JJM, Van\u00a0den Bussche J (2013b) The DNA query language DNAQL. In: Proceedings 16th international conference on database theory. ACM Press","DOI":"10.1145\/2448496.2448497"},{"key":"9839_CR11","unstructured":"Brijder R, Gillis JJM, Van den Bussche J (2019) The relational completeness of the DNA query language DNAQL. In preparation"},{"key":"9839_CR12","doi-asserted-by":"crossref","unstructured":"Cardelli L (2005) Abstract machines in systems biology. Transactions on computational systems biology III, vol 3737. Lecture notes in computer science. Springer, pp 145\u2013178","DOI":"10.1007\/11599128_10"},{"key":"9839_CR13","doi-asserted-by":"crossref","unstructured":"Cardelli L (2009) Strand algebras for DNA computing. In: Deaton R, Suyama A (eds), pp 12\u201324","DOI":"10.1007\/978-3-642-10604-0_2"},{"issue":"2","key":"9839_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s11047-004-4002-3","volume":"4","author":"J Chen","year":"2005","unstructured":"Chen J, Deaton RJ, Wang Y-Z (2005) A DNA-based memory with in vitro learning and associative recall. Nat Comput 4(2):83\u2013101","journal-title":"Nat Comput"},{"issue":"6102","key":"9839_CR15","doi-asserted-by":"publisher","first-page":"1628","DOI":"10.1126\/science.1226355","volume":"337","author":"GM Church","year":"2012","unstructured":"Church GM, Gao Y, Kosuri S (2012) Next-generation digital information storage in DNA. Science 337(6102):1628","journal-title":"Science"},{"key":"9839_CR16","volume-title":"An introduction to database systems","author":"CJ Date","year":"2004","unstructured":"Date CJ (2004) An introduction to database systems. Addison-Wesley, Boston"},{"key":"9839_CR17","doi-asserted-by":"crossref","unstructured":"Deaton RJ, Suyama A (eds) (2009) Proceedings 15th international meeting on DNA computing and molecular programming, vol 5877. Lecture notes in computer science. Springer","DOI":"10.1007\/978-3-642-10604-0"},{"issue":"12","key":"9839_CR18","doi-asserted-by":"publisher","first-page":"6025","DOI":"10.1073\/pnas.93.12.6025","volume":"93","author":"L Diatchenko","year":"1996","unstructured":"Diatchenko L, Lau YF, Campbell AP, Chenchik A, Moqadam F, Huang B, Lukyanov S, Lukyanov K, Gurskaya N, Sverdlov ED, Siebert PD (1996) Suppression subtractive hybridization: a method for generating differentially regulated or tissue-specific cDNA probes and libraries. Proc Natl Acad Sci 93(12):6025\u20136030","journal-title":"Proc Natl Acad Sci"},{"key":"9839_CR19","volume-title":"Database systems: the complete book","author":"H Garcia-Molina","year":"2009","unstructured":"Garcia-Molina H, Ullman JD, Widom J (2009) Database systems: the complete book. Prentice Hall, Upper Saddle River"},{"key":"9839_CR20","unstructured":"Gillis J, Van\u00a0den Bussche J (2010) A formal model for databases in DNA. In: Horimoto K, Nakatsui M, Popov N (eds) Algebraic and numeric biology, vol 6479. Lecture notes in computer science. Springer, pp 18\u201337"},{"key":"9839_CR21","first-page":"77","volume":"494","author":"N Goldman","year":"2013","unstructured":"Goldman N, Bertone P, Chen S, Dessimoz C, LeProust EM, Sipos B, Birney E (2013) Towards practical, high-capacity, low-maintenance information storage in synthesized DNA. Science 494:77\u201380","journal-title":"Science"},{"volume-title":"Theoretical aspects of object-oriented programming","year":"1994","key":"9839_CR22","unstructured":"Gunter CA, Mitchell JC (eds) (1994) Theoretical aspects of object-oriented programming. MIT Press, Cambridge"},{"key":"9839_CR23","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1038\/35003155","volume":"403","author":"Q Liu","year":"2000","unstructured":"Liu Q, Wang L, Frutos AG, Condon AE, Corn RM, Smith LM (2000) DNA computing on surfaces. Nature 403:175\u2013179","journal-title":"Nature"},{"key":"9839_CR24","doi-asserted-by":"crossref","unstructured":"Majumder U, Reif JH (2009) Design of a biomolecular device that executes process algebra. In: Deaton R, Suyama A (eds), pp 97\u2013105","DOI":"10.1007\/978-3-642-10604-0_10"},{"issue":"3","key":"9839_CR25","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1089\/10665270152530818","volume":"8","author":"A Marathe","year":"2001","unstructured":"Marathe A, Condon AE, Corn RM (2001) On combinatorial DNA word design. J Comput Biol 8(3):201\u2013220","journal-title":"J Comput Biol"},{"key":"9839_CR26","unstructured":"Papakonstaninou Y, Velikhov P (1999) Enhancing semistructured data mediators with document type definitions. In: Proceedings 15th international conference on data engineering. IEEE Computer Society, pp 136\u2013145"},{"key":"9839_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03563-4","volume-title":"DNA computing","author":"G Paun","year":"1998","unstructured":"Paun G, Rozenberg G, Salomaa A (1998) DNA computing. Springer, Berlin"},{"key":"9839_CR28","volume-title":"Types and programming languages","author":"BC Pierce","year":"2002","unstructured":"Pierce BC (2002) Types and programming languages. MIT Press, Cambridge"},{"key":"9839_CR29","doi-asserted-by":"crossref","unstructured":"Qian L, Soloveichik D, Winfree E (2011) Efficient Turing-universal computation with DNA polymers. In: Sakakibara Y, Mi Y (eds) Proceedings 16th international conference on DNA computing and molecular programming, vol 6518. Lecture notes in computer science. Springer, pp 123\u2013140","DOI":"10.1007\/978-3-642-18305-8_12"},{"key":"9839_CR30","doi-asserted-by":"crossref","unstructured":"Reif JH, LaBean TH, Pirrung M, Rana VS, Guo B, Kingsford C, Wickham GS (2002) Experimental construction of very large scale DNA databases with associative search capability. In: Revised papers from the 7th international workshop on DNA-based computers: DNA computing, DNA 7. Springer, London, UK, pp 231\u2013247","DOI":"10.1007\/3-540-48017-X_22"},{"key":"9839_CR31","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/PL00008272","volume":"25","author":"JH Reif","year":"1999","unstructured":"Reif JH (1999) Parallel biomolecular computation: models and simulations. Algorithmica 25:142\u2013175","journal-title":"Algorithmica"},{"issue":"4","key":"9839_CR32","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1089\/cmb.1998.5.615","volume":"5","author":"S Roweis","year":"1998","unstructured":"Roweis S, Winfree E, Burgoyne R, Chelyapov NV, Goodman MF, Rothemund PWK, Adleman LM (1998) A sticker-based model for DNA computation. J Comput Biol 5(4):615\u2013629","journal-title":"J Comput Biol"},{"key":"9839_CR33","doi-asserted-by":"crossref","unstructured":"Sager J, Stefanovic D (2006) Designing nucleotide sequences for computation: a survey of constraints. In: Carbone A, Pierce N (eds) DNA computing, vol 3892. Lecture notes in computer science. Springer, Berlin, pp 275\u2013289","DOI":"10.1007\/11753681_22"},{"key":"9839_CR34","doi-asserted-by":"crossref","unstructured":"Schiefer N, Winfree E (2015) Universal computation and optimal construction in the chemical reaction network-controlled tile assembly model. In: Phillips A, Yin P (eds) Proceedings 21st international conference on DNA computing and molecular programming (DNA 21), vol 9211. Lecture notes in computer science. Springer, pp 34\u201354","DOI":"10.1007\/978-3-319-21999-8_3"},{"issue":"15","key":"9839_CR35","doi-asserted-by":"publisher","first-page":"4965","DOI":"10.1093\/nar\/gki812","volume":"33","author":"MR Shortreed","year":"2005","unstructured":"Shortreed MR, Chang SB, Hong D, Phillips M, Campion B, Tulpan D, Andronescu M, Condon AE, Hoos HH, Smith LM (2005) A thermodynamic approach to designing structure-free combinatorial DNA word sets. Nucleic Acids Res 33(15):4965\u20134977","journal-title":"Nucleic Acids Res"},{"issue":"12","key":"9839_CR36","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. PNAS 107(12):5393\u20135398","journal-title":"PNAS"},{"key":"9839_CR37","doi-asserted-by":"publisher","first-page":"14138","DOI":"10.1038\/srep14138","volume":"5","author":"SMH Tabatabaei Yazdi","year":"2015","unstructured":"Tabatabaei Yazdi SMH, Yuan Y, Ma J, Zhao H, Milenkovic O (2015) A rewritable, random-access DNA-based storage system. Sci Rep 5:14138","journal-title":"Sci Rep"},{"key":"9839_CR38","doi-asserted-by":"crossref","unstructured":"Van\u00a0den Bussche J, Van\u00a0Gucht D, Vansummeren S (2007) A crash course in database queries. In: Proceedings 26th ACM symposium on principles of database systems. ACM Press, pp 143\u2013154","DOI":"10.1145\/1265530.1265551"},{"key":"9839_CR39","doi-asserted-by":"crossref","unstructured":"Winfree E, Yang X, Seeman NC (1998) Universal computation via self-assembly of DNA: some theory and experiments. In: Landweber LF, Baum EB (eds) DNA based computers II: DIMACS workshop. American Mathematical Society, pp 191\u2013213","DOI":"10.1090\/dimacs\/044\/16"},{"key":"9839_CR40","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1038\/s41586-019-1014-9","volume":"567","author":"D Woods","year":"2019","unstructured":"Woods D, Doty D, Myhrvold C, Hui J, Zhou F, Yin P, Winfree E (2019) Diverse and robust molecular algorithms using reprogrammable DNA self-assembly. Nature 567:366\u2013372","journal-title":"Nature"},{"key":"9839_CR41","doi-asserted-by":"crossref","unstructured":"Yamamoto M, Kita Y, Kashiwamura S, Kameda A, Ohuchi A (2006) Development of DNA relational databases and data manipulation experiments. In: Mao C, Yokomori T (eds) Proceedings 12th international meeting on DNA computing, vol 4287. Lecture notes in computer science. Springer, pp 418\u2013427","DOI":"10.1007\/11925903_33"},{"issue":"1","key":"9839_CR42","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.simpat.2011.10.002","volume":"21","author":"C-W Yeh","year":"2012","unstructured":"Yeh C-W, Wu K-R, Meng W (2012) Development of a database model based on parallel biomolecular computation. Simul Model Pract Theory 21(1):39\u201351","journal-title":"Simul Model Pract Theory"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-020-09839-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-020-09839-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-020-09839-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T21:07:42Z","timestamp":1614892062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-020-09839-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,12]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["9839"],"URL":"https:\/\/doi.org\/10.1007\/s11047-020-09839-7","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2021,1,12]]},"assertion":[{"value":"26 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}