Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes

Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a purely declarative definition of hybridization. We introduce the notion of terminating hybridization, and characterize this notion in purely graph-theoretic terms. Terminating hybridization can still produce results of exponential size. We indicate a class of complexes where hybridization is guaranteed to be polynomially bounded.

• Type: Journal
• Year: 2011
• Where: DNA
• Authors: Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
• Keywords: Bioinformatics, Data Model, DNA 2011, Dna Complexes, Exponential Size