Static Analysis of Intensional Databases in U-Datalog.

Elisa Bertino, Barbara Catania

Browse the full PODS paper archive.