Sciweavers

211 search results - page 30 / 43
» Reflective Programming in the Relational Algebra
Sort
View
FPCA
1989
15 years 1 months ago
Theorems for Free!
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Philip Wadler
88
Voted
FQAS
1998
Springer
133views Database» more  FQAS 1998»
15 years 1 months ago
Estimating the Quality of Databases
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
Amihai Motro, Igor Rakov
ICDE
1997
IEEE
114views Database» more  ICDE 1997»
15 years 11 months ago
Modeling Multidimensional Databases
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi
ICDE
1993
IEEE
116views Database» more  ICDE 1993»
15 years 1 months ago
The Volcano Optimizer Generator: Extensibility and Efficient Search
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
Goetz Graefe, William J. McKenna
FLOPS
2006
Springer
15 years 1 months ago
"Scrap Your Boilerplate" Reloaded
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
Ralf Hinze, Andres Löh, Bruno C. D. S. Olivei...