database functional