1075 search results - page 174 / 215 » Toward a Verified Relational Database Management System |
EDBTW
2006
Springer
14 years 10 days ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
SIGUCCS
2004
ACM
14 years 2 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
CIKM
2001
Springer
14 years 1 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
PODS
2008
ACM
14 years 8 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
PODS
2011
ACM
12 years 11 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...