Rewriting Methods

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


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.


Output Port Dependency Graph Relational Algebra Bibliographic Note Datalog Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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