Semantic query optimization in datalog programs (1995)

by A Y Levy, Y Sagiv
Venue:In Proc. of the 14th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS’95