Sciweavers

497 search results - page 20 / 100
» Napier88 - A Database Programming Language
Sort
View
35
Voted
POPL
2010
ACM
14 years 6 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
DBPL
2001
Springer
167views Database» more  DBPL 2001»
14 years 1 months ago
A Temporal Query Language for OLAP: Implementation and a Case Study
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
Alejandro A. Vaisman, Alberto O. Mendelzon
ICSE
2008
IEEE-ACM
14 years 9 months ago
Impact analysis of database schema changes
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
Andy Maule, Wolfgang Emmerich, David S. Rosenblum
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
14 years 9 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen
ICDT
2011
ACM
187views Database» more  ICDT 2011»
13 years 5 days ago
The PADS project: an overview
The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new r...
Kathleen Fisher, David Walker