Sciweavers

87 search results - page 8 / 18
» Inferring Function Semantics to Optimize Queries
Sort
View
ICFP
2008
ACM
14 years 7 months ago
From ML to MLF: graphic type constraints with efficient type inference
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
Boris Yakobowski, Didier Rémy
ICDE
2007
IEEE
146views Database» more  ICDE 2007»
14 years 9 months ago
Conditional Functional Dependencies for Data Cleaning
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei ...
SIGMOD
2006
ACM
127views Database» more  SIGMOD 2006»
14 years 7 months ago
Query evaluation using overlapping views: completeness and efficiency
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
Gang Gou, Maxim Kormilitsin, Rada Chirkova
COOPIS
2004
IEEE
13 years 11 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
DMSN
2006
ACM
14 years 1 months ago
MeT: a real world oriented metadata management system for semantic sensor networks
A semantic sensor network describes the physical world using the metadata obtained from a sensor network. In this paper, we present our design and implementation of MeT, a real wo...
Hideyuki Kawashima, Yutaka Hirota, Satoru Satake, ...