MFCS 2000
On Diving in Trees
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