Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Richard Hull"'
Publikováno v:
Deutsch, A; Hull, R; & Vianu, V. (2014). Automatic Verification of Database-Centric Systems. SIGMOD RECORD, 43(3), 5-17. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/10z362p7
ACM SIGMOD Record, vol 43, iss 3
SIGMOD RECORD, vol 43, iss 3
ACM SIGMOD Record, vol 43, iss 3
SIGMOD RECORD, vol 43, iss 3
Automatic Verification of Database-Centric Systems Alin Deutsch Richard Hull Victor Vianu UC San Diego IBM Yorktown Research Center UC San Diego & INRIA Saclay deutsch@cs.ucsd.edu vianu@cs.ucsd.edu hull@us.ibm.com INTRODUCTION area of business proces