a framework for testing safety and effective computability of extended datalog 1988.0
r krishnamurthy , r ramakrishnan , o shmueli
proceedings of the 1988 acm sigmod international conference & hellip ; ,