www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/13971

Title: A Type System for DNAQL
Authors: Brijder, Robert
Gillis, Joris J.M.
Van den Bussche, Jan
Issue Date: 2012
Citation: Stefanovic, Darko; Turberfield, Andrew (Eds.). DNA Computing and Molecular Programming, p. 12-24
Series/Report: Lecture Notes in Computer Science
Series/Report no.: 7433
Abstract: Recently 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.
URI: http://hdl.handle.net/1942/13971
DOI: 10.1007/978-3-642-32208-2_2
ISBN: 978-3-642-32208-2
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Main Article322.95 kBAdobe PDF

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