SPECIFYING AND VERIFYING CORRECTNESS OF TRIGGERS USING DECLARATIVE LOGIC PROGRAMMING – A FIRST STEP Chitta Baral Department of Computer Science & Engg Arizona State University Tempe, Arizona, USA [email protected] http://www.public.asu.edu/∼cbaral/ (joint work with Mutsumi Nakamura) October 15, 2001