@article{Keisuke NAKANO2012, title={View Updatability Checking with Simulation-based Graph Schema}, author={Keisuke NAKANO and Soichiro HIDAKA and Zhenjiang HU and Kazuhiro INABA and Hiroyuki KATO}, journal={Computer Software}, volume={29}, number={2}, pages={2_174-2_192}, year={2012}, doi={10.11309/jssst.29.2_174} }