views and procedures