A framework for testing safety and effective computability of extended datalog

Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli

Available in: PDF

517 Downloads