Rewriting Methods

  • Stefano Ceri
  • Georg Gottlob
  • Letizia Tanca
Part of the Surveys in Computer Science book series (SURVEYS)

Abstract

In this chapter we introduce a number of rewriting methods for Datalog programs. Section 10.1 presents rewriting methods that apply directly to Datalog programs: the Magic Sets, Counting, Static Filtering and Semi-naive Evaluation by Rewriting. Section 10.2 presents a structured approach to the optimization of algebraic systems; it consists of a number of preliminary steps, after which the optimization methods of reduction of variables and reduction of constants are applied.

Keywords

Cond Subsys 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Stefano Ceri
    • 1
  • Georg Gottlob
    • 2
  • Letizia Tanca
    • 3
  1. 1.Dipartimento di MatematicaUniversità di ModenaModenaItaly
  2. 2.Institut für Angewandte Informatik und Systemanalyse, Abteilung für Verteilte Datenbanken und ExpertensystemeTechnische Universität WienWienAustria
  3. 3.Dipartimento di ElettronicaPolitecnico di MilanoMilanoItaly

Personalised recommendations