The Constructive Method for Query Containment Checking | Publicación