286 search results - page 10 / 58 » On Modal Deductive Databases |
PARLE
1993
13 years 11 months ago
1993
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
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...
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
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...
FOIKS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
EUSFLAT
2003
13 years 8 months ago
2003
In this paper, some considerations on extension of the Datalog language are proposed in order to apply this language on a GEFRED fuzzy relational database. For this integration, w...