483 search results - page 6 / 97 » Model Based Deduction for Database Schema Reasoning |
PODS
2003
ACM
14 years 7 months ago
2003
ACM
In this paper we propose a new bottom-up query evaluation method for stratified deductive databases based on the Magic Set approach. As the Magic Sets rewriting may lead to unstra...
ADBIS
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we present a new fixpoint-based approach to bottom-up state generation for stratifiable disjunctive deductive databases. To this end, a new consequence operator based...
ER
1993
Springer
13 years 11 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
ISMB
1994
13 years 9 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
ER
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...