Our Data Model

• Data model of complex objects:

    t ::= num | string | bool
        | {t} | {|t|}  | [t]
        | (l1: t1, ..., ln: tn)
        | <l1>: t1, ..., ln: tn> 
  

• Eg., the feature table of GenPept report has type:

  (#uid:num, #title:string,
   #accession:string, #feature:{(
      #name:string, #start:num, #end:num,
      #anno:[(
         #anno_name:string,
         #descr:string)])})