Sciweavers

2608 search results - page 132 / 522
» Inferring Answers to Queries
Sort
View
SIGMOD
2010
ACM
170views Database» more  SIGMOD 2010»
15 years 11 months ago
Querying data provenance
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
Grigoris Karvounarakis, Zachary G. Ives, Val Tanne...
ICDE
2007
IEEE
126views Database» more  ICDE 2007»
16 years 7 months ago
Location-based Spatial Queries with Data Sharing in Wireless Broadcast Environments
Location-based spatial queries (LBSQs) refer to spatial queries whose answers rely on the location of the inquirer. Efficient processing of LBSQs is of critical importance with th...
Wei-Shinn Ku, Roger Zimmermann, Haixun Wang
VLDB
2005
ACM
175views Database» more  VLDB 2005»
15 years 11 months ago
Query Translation from XPath to SQL in the Presence of Recursive DTDs
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
Wenfei Fan, Jeffrey Xu Yu, Hongjun Lu, Jianhua Lu,...
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 10 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
STACS
2010
Springer
16 years 1 months ago
Efficient and Error-Correcting Data Structures for Membership and Polynomial Evaluation
We construct efficient data structures that are resilient against a constant fraction of adversarial noise. Our model requires that the decoder answers most queries correctly with...
Victor Chen, Elena Grigorescu, Ronald de Wolf