 |
|
|
|
| HAL : inria-00473160, version 2 |
| arXiv : 1008.5073 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
|
|
| Versions disponibles | v1 (14-04-2010) | v2 (30-08-2010) |
|
|
|
|
| On the Count of Trees |
|
|
| Everardo Barcenas 1Pierre Geneves 1 |
|
|
| (08/2010) |
|
|
|
| Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on frameworks for reasoning about path expressions where node cardinality constraints occur along a path in a tree. We present a logic capable of expressing deep counting along paths which may include arbitrary recursive forward and backward navigation. The counting extensions can be seen as a generalization of graded modalities that count immediate successor nodes. While the combination of graded modalities, nominals, and inverse modalities yields undecidable logics over graphs, we show that these features can be combined in a decidable tree logic whose main features can be decided in exponential time. Our logic being closed under negation, it may be used to decide typical problems on XPath queries such as satisfiability, type checking with relation to regular types, containment, or equivalence. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | WAM (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble) |
|
|
|
INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217 |
|
|
| 2 : | SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble) |
|
|
|
INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Base de données |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| inria-00473160, version 2 | |
| http://hal.inria.fr/inria-00473160 | |
| oai:hal.inria.fr:inria-00473160 | |
| Contributeur : Everardo Barcenas | |
| Soumis le : Mardi 24 Août 2010, 10:18:42 | |
| Dernière modification le : Vendredi 25 Février 2011, 16:42:21 | |
