Sciweavers

8491 search results - page 206 / 1699
» Forecasting in Database Systems
Sort
View
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 2 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
CIDR
2009
159views Algorithms» more  CIDR 2009»
15 years 5 months ago
RIOT: I/O-Efficient Numerical Computing without SQL
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
Yi Zhang 0011, Herodotos Herodotou, Jun Yang 0001
ADBIS
2005
Springer
170views Database» more  ADBIS 2005»
15 years 10 months ago
Architecture of Pattern Management Software System
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
Erki Eessaar
164
Voted
KRDB
1996
123views Database» more  KRDB 1996»
15 years 6 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen
167
Voted
SIGMOD
2011
ACM
198views Database» more  SIGMOD 2011»
14 years 7 months ago
U-MAP: a system for usage-based schema matching and mapping
This demo shows how usage information buried in query logs can play a central role in data integration and data exchange. More specifically, our system U-Map uses query logs to g...
Hazem Elmeleegy, Jaewoo Lee, El Kindi Rezig, Moura...