A Formal Model for Databases in DNA.

Joris J. M. Gillis Jan Van den Bussche

Published in: ANB (2010)

Keyphrases

formal model
databases
database
predicate calculus
relational databases
data integration
knowledge discovery
formal models
information systems
database applications
sequence databases
security properties
gel electrophoresis