Gravar-mail: fRNAdb: a platform for mining/annotating functional RNA candidates from non-coding RNA sequences