00346nas a2200133   4500000000100000000000100001008004100002260003900043100001600082700001400098700001500112700001500127245007000142       2007                            d  c10-13 April 2007aVienna, Austria 1 aViet Nguyen1 aTran Dang1 aNguyen Son1 aJosef Kung00aQuery Assurance Verification for Dynamic Outsourced XML Databases