Elisa Bertino, Barbara Catania. Static Analysis of Intensional Databases in U-Datalog. In Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada. pages 202-212, ACM Press, 1996. [doi]
Abstract is missing.