Moshe Y. Vardi Model Checking for Database Theoreticians. 1-16 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3363&spage=1 2005 conf/icdt/2005 ICDT db/conf/icdt/icdt2005.html#Vardi05