Sciweavers

831 search results - page 102 / 167
» Coalgebraic Correspondence Theory
Sort
View
PODS
2003
ACM
114views Database» more  PODS 2003»
16 years 1 hour ago
An information-theoretic approach to normal forms for relational and XML data
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
Marcelo Arenas, Leonid Libkin
PODS
2006
ACM
116views Database» more  PODS 2006»
16 years 1 hour ago
Relational lenses: a language for updatable views
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vau...
DASFAA
2009
IEEE
104views Database» more  DASFAA 2009»
15 years 6 months ago
Tailoring Data Quality Models Using Social Network Preferences
To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment co...
Ismael Caballero, Eugenio Verbo, Manuel A. Serrano...
SEFM
2009
IEEE
15 years 6 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
INFOCOM
2009
IEEE
15 years 6 months ago
Sensor Network Localization Using Sensor Perturbation
—Sensor network localization is an instance of the NP-HARD graph realization problem. Thus, methods used in practice are not guaranteed to find the correct localization, even if...
Yuanchen Zhu, Steven J. Gortler, Dylan Thurston