Remove the specific page id from the buffer pool. Needed by the recovery manager to ensure that the buffer pool doesn't keep a rolled back page in its cache. Also used by B+ tree files to ensure that deleted pages are removed from the cache so they ca
(PageId pid)
source not stored for this graph (policy: none)