Added Database.fst

Made some changes in the protocol