Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli. A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). In Haran Boral, Per-Åke Larson, editors, Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988. pages 154-163, ACM Press, 1988. [doi]
@inproceedings{KrishnamurthyRS88,
title = {A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract)},
author = {Ravi Krishnamurthy and Raghu Ramakrishnan and Oded Shmueli},
year = {1988},
doi = {10.1145/50202.50219},
url = {http://doi.acm.org/10.1145/50202.50219},
tags = {testing, Datalog},
researchr = {https://researchr.org/publication/KrishnamurthyRS88},
cites = {0},
citedby = {0},
pages = {154-163},
booktitle = {Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988},
editor = {Haran Boral and Per-Åke Larson},
publisher = {ACM Press},
}