Title: Transactions and change in logic databases
First published: 1998
Subjects: Congresses, Logic programming, Deductive databases, Logic, symbolic and mathematical
LC classification: QA76.9.D3 I5655 1996