Sciweavers

1193 search results - page 128 / 239
» Database Query Languages and Functional Logic Programming
Sort
View
ICFP
2003
ACM
16 years 2 months ago
Scripting the type inference process
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierst...
174
Voted
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 4 months ago
BloomUnit: declarative testing for distributed programs
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
Peter Alvaro, Andrew Hutchinson, Neil Conway, Will...
216
Voted
ICDE
2009
IEEE
165views Database» more  ICDE 2009»
16 years 4 months ago
Expressive Location-Based Continuous Query Evaluation with Binary Decision Diagrams
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...
Zhengdao Xu, Hans-Arno Jacobsen
133
Voted
PODS
1999
ACM
151views Database» more  PODS 1999»
15 years 6 months ago
Exact and Approximate Aggregation in Constraint Query
We investigate the problem of how to extend constraint query languages with aggregate operators. We deal with standard relational aggregation, and also with aggregates speci c to ...
Michael Benedikt, Leonid Libkin
131
Voted
EDBT
2008
ACM
169views Database» more  EDBT 2008»
16 years 2 months ago
BioScout: a life-science query monitoring system
Scientific data are available through an increasing number of heterogeneous, independently evolving, sources. Although the sources themselves are independently evolving, the data ...
Anastasios Kementsietsidis, Frank Neven, Dieter Va...