Database verification studies of SWISS-PROT and GenBank.
Peter D. KarpSuzanne M. PaleyJingchun ZhuPublished in: Bioinform. (2001)
Keyphrases
- database
- public databases
- databases
- relational databases
- database systems
- data model
- database management
- data sets
- case study
- multi dimensional
- data management
- database applications
- neural network
- formal verification
- intellectual property
- data structure
- metadata
- information systems
- object oriented
- asynchronous circuits