Sciweavers

3319 search results - page 416 / 664
» Type Theoretical Databases
Sort
View
ICDE
2010
IEEE
276views Database» more  ICDE 2010»
15 years 11 months ago
X-data: Generating test data for killing SQL mutants
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
Bhanu Pratap Gupta, Devang Vira, S. Sudarshan
DASFAA
2009
IEEE
125views Database» more  DASFAA 2009»
15 years 11 months ago
Flexibility as a Service
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
Wil M. P. van der Aalst, Michael Adams, Arthur H. ...
DASFAA
2009
IEEE
203views Database» more  DASFAA 2009»
15 years 11 months ago
Adaptive Safe Regions for Continuous Spatial Queries over Moving Objects
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku
DASFAA
2009
IEEE
104views Database» more  DASFAA 2009»
15 years 11 months ago
On the Discovery of Conserved XML Query Patterns for Evolution-Conscious Caching
Existing xml query pattern-based caching strategies focus on extracting the set of frequently issued query pattern trees (qpt) based on the support of the qpts in the history. Thes...
Sourav S. Bhowmick
EDBT
2009
ACM
174views Database» more  EDBT 2009»
15 years 11 months ago
Continuous probabilistic nearest-neighbor queries for uncertain trajectories
This work addresses the problem of processing continuous nearest neighbor (NN ) queries for moving objects trajectories when the exact position of a given object at a particular t...
Goce Trajcevski, Roberto Tamassia, Hui Ding, Peter...