A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs

H. Leung، نويسنده , , D. Ranjan، نويسنده , , H. J. Hern?ndez، نويسنده , , D. Tang، نويسنده , , A. Gonz?lez، نويسنده ,

دوهفته نامه با شماره پیاپی سال 1995

4

279

282

Theory of computation , Databases

Information Processing Letters

1995

Information Processing Letters

128333