Using Views to Query XML Documents