The problem is that this behavior a) doesn't match the documentation, and b) complicates deleting views a lot! For every view I want to delete, I'd have to check whether it actually *is* a view before running the DROP statement. If I had to do this, the IF EXISTS is merely useless because I could check for the view to exist by myself then.