A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).

Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli

Browse the full SIGMOD paper archive.