Query containment and rewriting using views for regular path queries under constraints