Fixed a bug that locked statistics won't be effective when accessing tables without select privilege via views.
In order to resolve the problem, privileges for the dummy stats tables and the user under which pg_dbms_stats accesses them are changed.
By the way, the git repo seemed in bad shape since 9/16 so I forced a push at the latest commit. Sorry in advance for the possible conflicts in merging your local master branch. Doing rebase origin/master and skipping all conflicts would help the case.
権限をもたないテーブルにアクセス可能なビューを通してアクセスした際に、そのテーブルの統計情報をロックしていてもシステムの統計情報が利用される問題を修正しています。
その解決のためダミー統計情報テーブルの権限とそこへのアクセスの仕方を変更しています。
なお、gitリポジトリは9/16日以来調子が悪かったようで、最終的には強制プッシュを行なっています。申し訳ありませんがローカルのmasterブランチへのmergeが衝突する可能性があります。その場合は merge の代わりに rebase origin/master を行なって、衝突するコミットを rebase --skip で飛ばすことで解決できると思います。