A semantic query optimization approach to optimize linear datalog programs el 31 de Diciembre del 2002