Oded Shmueli Raghu Ramakrishnan Ravi Krishnamurthy ACM SIGMOD Conference 1988 17 3 154 163 This paper presents a methodology for testing a general logic program containing function symbols and built-in predicates for safety and effective computability. Safety is the property that the set of answers for a given query is finite. A related issue