• L. Carroll
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1053)


In this preliminary chapter we will focus on four different subjects. First, we present rules. They will be used throughout this work for defining functions in an elegant and simple way. In the second section the standard notions for first-order logic are introduced [CL73]. This introduction is quite short, we merely present the notations we shall need. As the standard notations for logic are used, readers familiar with this topic may skip the second section. Since a large part of the indexing techniques rely on tree-like structures, we state some notions describing graphs and trees in the third section. Finally, we describe the way algorithms are presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • L. Carroll

There are no affiliations available

Personalised recommendations