Sciweavers

3319 search results - page 108 / 664
» Type Theoretical Databases
Sort
View
PODS
2008
ACM
141views Database» more  PODS 2008»
15 years 10 months ago
On the complexity of deriving schema mappings from database instances
We introduce a theoretical framework for discovering relationships between two database instances over distinct and unknown schemata. This framework is grounded in the context of ...
Pierre Senellart, Georg Gottlob
BTW
2009
Springer
142views Database» more  BTW 2009»
15 years 4 months ago
Bridging the Gap between Variability in Client Application and Database Schema
: Database schemas are used to describe the logical design of a database. Diverse groups of users have different perspectives on the schema which leads to different local schemas. ...
Norbert Siegmund, Christian Kästner, Marko Ro...
FLOPS
2008
Springer
14 years 11 months ago
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
Susana Nieva, Jaime Sánchez-Hernánde...
SIGMOD
2004
ACM
111views Database» more  SIGMOD 2004»
15 years 10 months ago
Spatial, Temporal and Spatio-Temporal Databases - Hot Issues and Directions for PhD Research
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
John F. Roddick, Max J. Egenhofer, Erik G. Hoel, D...
ITICSE
2004
ACM
15 years 3 months ago
Use of large databases for group projects at the nexus of teaching and research
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
Richard C. Thomas, Rebecca Mancy