1075 search results - page 121 / 215 » Toward a Verified Relational Database Management System |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
DPD
1998
13 years 8 months ago
1998
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
PIPES is a flexible and extensible infrastructure providing fundamental building blocks to implement a data stream management system (DSMS). It is seamlessly integrated into the J...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...