Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Benedikt, M., Griffin, T., Libkin, L.: Verifiable properties of database transactions. In: Proc. of Symposium on Principles of Database Systems (PODS), pp. 117–127 (1996)
2. Lecture Notes in Computer Science;M. Butler,2005
3. Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: Proc. Int. Conf. on Very Large Data Bases (VLDB), pp. 566–577 (1990)
4. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of Int. Conf. on Database Theory (ICDT), pp. 252–267 (2009)
5. Fu, X., Bultan, T., Su, J.: Model checking XML manipulating software. In: Proc. Int. symposium on Software Testing and Analysis (ISSTA), pp. 252–262 (2004)