Static Analysis of Transactional Intensional Databases (1994)

by E Bertino, B Catania, G Guerrini, D Montesi
Venue:Proc. Second ICLP-Workshop on Deductive Databases and Logic Programming of International Conference on Logic Programming