4961 search results - page 301 / 993 » Homomorphism-Homogeneous Relational Structures |
140
click to vote
BTW
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
121
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
145
click to vote
SIGMOD
1999
ACM
15 years 8 months ago
1999
ACM
We address the problem of query rewriting for TSL, a language for querying semistructured data. We develop and present an algorithm that, given a semistructured query q and a set ...
149
click to vote
GRAMMARS
2000
15 years 4 months ago
2000
In this paper we argue for a reconceptualization of the Tree Adjoining Grammar (TAG) formalism, in which the elementary structures are collections of c-command relations, and the ...
137
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...