Locator Algebra (1)

• Preliminaries

  • L domain of locator sets
    • x, y
  • PL domain of locators
    • u, v
  • tail(u) … last component of uprefix(u) … u - tail(u)

• Tree-Operators

  • navigation in document tree using DOM methods
  • root, parent, children: PL ? L
  • applied to locator sets from L using d-join (see below)

• Set-Operators

  • ?, ?, -: L ? L ? Ldefined as usual
  • order preservation due to total ordering on document nodes

Previous slide

Next slide

Back to first slide

View graphic version