1075 search results - page 89 / 215 » Toward a Verified Relational Database Management System |
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
The Pathfinder XQuery compiler has been enhanced by a new code generator that can target any SQL:1999-compliant relational database system (RDBMS). This code generator marks an im...
ADC
2003
Springer
14 years 2 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Large collections of documents are commonly created around a database, where a typical database schema may contain hundreds of tables and thousands of columns. We developed a syst...
GLOBE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...