Query rewriting using views in the presence of inclusion dependencies