VALIDATING DATABASE UPDATES Authors KOBAYASHI, Isamu Publication Date Jun 01, 1983 Source Kyoto University Research Information Repository Keywords Assertion Aggregate Function Consistency Database Updates Extended Relational Calculus Integrity Validation 410 Language English License Unknown