Yeah I think it should be cached but I wonder whether SQLite doesn't do this for some reason that is not obvious to us.