180 search results - page 1 / 36 » A Method for Change Computation in Deductive Databases |
VLDB
1992
ACM
13 years 8 months ago
1992
ACM
Change computation is an essential component in several capabilities of a deductive database,such as integrity constraints checking, materialized view maintenanceandcondition moni...
VLDB
1993
ACM
13 years 8 months ago
1993
ACM
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
ADBIS
2007
Springer
13 years 8 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...
PARLE
1993
13 years 8 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...
DOOD
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...