Sciweavers

5130 search results - page 136 / 1026
» Constraint Query Languages
Sort
View
ICDE
2010
IEEE
192views Database» more  ICDE 2010»
15 years 7 months ago
XML reasoning made practical
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
Pierre Genevès, Nabil Layaïda
198
Voted
ICDE
2002
IEEE
129views Database» more  ICDE 2002»
16 years 2 months ago
Active XQuery
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
Angela Bonifati, Daniele Braga, Alessandro Campi, ...
PODS
2006
ACM
98views Database» more  PODS 2006»
16 years 29 days ago
Two-variable logic on data trees and XML reasoning
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Th...
VLDB
1997
ACM
94views Database» more  VLDB 1997»
15 years 5 months ago
Describing and Using Query Capabilities of Heterogeneous Sources
Information integration systems have to cope with the different and limited query interfaces of the underlying information sources. First, the integration systems need description...
Vasilis Vassalos, Yannis Papakonstantinou
113
Voted
ECIR
2008
Springer
15 years 2 months ago
Using Coherence-Based Measures to Predict Query Difficulty
Abstract. We investigate the potential of coherence-based scores to predict query difficulty. The coherence of a document set associated with each query word is used to capture the...
Jiyin He, Martha Larson, Maarten de Rijke