Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.

Toms Feder, Yatin P. Saraiya

Browse the full ICDT paper archive.