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]
@inproceedings{BertinoC96,
title = {Static Analysis of Intensional Databases in U-Datalog},
author = {Elisa Bertino and Barbara Catania},
year = {1996},
doi = {10.1145/237661.237711},
url = {http://doi.acm.org/10.1145/237661.237711},
tags = {analysis, static analysis, Datalog},
researchr = {https://researchr.org/publication/BertinoC96},
cites = {0},
citedby = {0},
pages = {202-212},
booktitle = {Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
publisher = {ACM Press},
isbn = {0-89791-781-2},
}