Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/13971
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBRIJDER, Robert-
dc.contributor.authorGILLIS, Joris-
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.date.accessioned2012-09-18T06:19:36Z-
dc.date.available2012-09-18T06:19:36Z-
dc.date.issued2012-
dc.identifier.citationStefanovic, Darko; Turberfield, Andrew (Eds.). DNA Computing and Molecular Programming, p. 12-24-
dc.identifier.isbn978-3-642-32208-2-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/1942/13971-
dc.description.abstractRecently we have introduced a formal graph-based data model for DNA complexes geared towards database applications. The model is accompanied by the programming language DNAQL for querying databases in DNA. Due to natural restrictions on the implementability and termination of operations on DNA, programs in DNAQL are not always well defi ned on all possible inputs. Indeed, a problem left open by our previous work has been to devise a type system for DNAQL, with a soundness property to the e ect that well-typed programs are well defi ned on all inputs adhering to given input types. The contribution of the present paper is to propose such a type system and to establish soundness. Moreover, we show that the type system is flexible enough so that any database manipulation expressible in the relational algebra is also expressible in DNAQL in a well-typed manner.-
dc.description.sponsorshipFWO-
dc.language.isoen-
dc.relation.ispartofseriesLecture Notes in Computer Science-
dc.titleA Type System for DNAQL-
dc.typeProceedings Paper-
local.bibliographicCitation.authorsStefanovic, Darko-
local.bibliographicCitation.authorsTurberfield, Andrew-
local.bibliographicCitation.conferencedateAugust 14-17, 2012-
local.bibliographicCitation.conferencenameDNA Computing and Molecular Programming 18th International Conference, DNA 18-
local.bibliographicCitation.conferenceplaceAarhus, Denmark-
dc.identifier.epage24-
dc.identifier.spage12-
dc.identifier.volume7433-
local.bibliographicCitation.jcatC1-
local.type.refereedRefereed-
local.type.specifiedProceedings Paper-
local.relation.ispartofseriesnr7433-
dc.bibliographicCitation.oldjcatC2-
dc.identifier.doi10.1007/978-3-642-32208-2_2-
local.bibliographicCitation.btitleDNA Computing and Molecular Programming-
item.fulltextWith Fulltext-
item.accessRightsOpen Access-
item.fullcitationBRIJDER, Robert; GILLIS, Joris & VAN DEN BUSSCHE, Jan (2012) A Type System for DNAQL. In: Stefanovic, Darko; Turberfield, Andrew (Eds.). DNA Computing and Molecular Programming, p. 12-24.-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
dna18.pdfMain Article322.95 kBAdobe PDFView/Open
Show simple item record

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.