- f -

• File() : File
• FileAlreadyExistCat() : FileAlreadyExistCat
• FileAlreadyExistDiskMgr() : FileAlreadyExistDiskMgr
• FileIdAlreadyExistDiskMgr() : FileIdAlreadyExistDiskMgr
• FileManager() : FileManager
• FileNotFoundFileMgr() : FileNotFoundFileMgr
• flushHeader() : File , HeapFile
• flushPage() : BufferManager
• Frame() : Frame