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

Authors:
Tomás Feder;Yatin P. Saraiya
Affiliations:
-;-
Venue:
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Year:
1992

Citing 0
Cited 2

Complexity results for checking equivalence of stratified logic programs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded

Quantified Score

Hi-index	0.00

Visualization

Abstract