
handle: 1942/33422
We present a new structural characterization of the expressive power of the acyclic conjunctive queries in terms of guarded simulations, and give a finite preservation theorem for the guarded simulation invariant fragment of first order logic.\ud \ud We discuss the relevance of these results as a formal basis for constructing so-called guarded structural indexes. Structural indexes were first proposed in the context of semistructured query languages and later successfully applied as an XML indexation mechanism for XPath-like queries on trees and graphs. Guarded structural indexes provide a generalization of structural indexes from graph databases to relational databases.
F41 [Mathematical Logic and Formal Languages]: Mathematical Logic, csis, H23 [Database Management]: Languages-Query languages, BEIA, H31 [Information Storage and Retrieval]: Content Analysis and Indexing- Indexing Methods General Terms Design, Languages, Theory Keywords Acyclicity, conjunctive queries, guarded simulation, fact sim- ulation, finite preservation theorems, hypergraph, H24 [Database Manage- ment]: Systems-Query processing
F41 [Mathematical Logic and Formal Languages]: Mathematical Logic, csis, H23 [Database Management]: Languages-Query languages, BEIA, H31 [Information Storage and Retrieval]: Content Analysis and Indexing- Indexing Methods General Terms Design, Languages, Theory Keywords Acyclicity, conjunctive queries, guarded simulation, fact sim- ulation, finite preservation theorems, hypergraph, H24 [Database Manage- ment]: Systems-Query processing
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
