Efficient evaluation for a temporal logic on changing XML documents

@inproceedings{Bojanczyk2011EfficientEF,
  title={Efficient evaluation for a temporal logic on changing XML documents},
  author={Mikolaj Bojanczyk and Diego Figueira},
  booktitle={PODS},
  year={2011}
}
We consider a sequence <i>t</i><sub>1</sub>,...,<i>t</i><sub><i>k</i></sub> of XML documents that is produced by a sequence of local edit operations. To describe properties of such a sequence, we use a temporal logic. The logic can navigate both in time and in the document, e.g. a formula can say that every node with label <i>a</i> eventually gets a descendant with label <i>b</i>. For every fixed formula, we provide an evaluation algorithm that works in time <i>O</i>(<i>k</i> ⋅ log(<i>n</i… CONTINUE READING

From This Paper

Topics from this paper.
2 Citations
3 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…