Proving Techniques for View Deletion in Databases †