Database Transactions in a Purely Declarative Logic Programming Language.

David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi

Browse the full DASFAA paper archive.