Solving the Database Update Problem Using Linear Logic

Dong-Tsan Lee, Chin-Ping Tsang. Solving the Database Update Problem Using Linear Logic. In Australasian Database Conference. 1996.

Abstract

Abstract is missing.