Arrow Research search
Back to MFCS

MFCS 2000

On Diving in Trees

Conference Paper Contributed Papers Algorithms and Complexity ยท Theoretical Computer Science

Abstract

Abstract The paper is concerned with queries on tree-structured data. It defines fragments of first-order logic (FO) and FO extended by regular expressions along paths. These fragments have the same expressive power as the full logics themselves. On the other hand, they can be evaluated reasonably efficient, even if the formula which represents the query is considered as part of the input.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
International Symposium on Mathematical Foundations of Computer Science
Archive span
1973-2025
Indexed papers
3045
Paper id
107435542701376884
v2026.09.13