Sciweavers

54 search results - page 2 / 11
» Integrity Constraints Checking In Deductive Databases
Sort
View
VLDB
1992
ACM
93views Database» more  VLDB 1992»
14 years 20 days ago
A Method for Change Computation in Deductive Databases
Change computation is an essential component in several capabilities of a deductive database,such as integrity constraints checking, materialized view maintenanceandcondition moni...
Toni Urpí, Antoni Olivé
VLDB
1987
ACM
55views Database» more  VLDB 1987»
14 years 3 days ago
Integrity Checking in Deductive Databases
Robert A. Kowalski, Fariba Sadri, Paul Soper
LPAR
2005
Springer
14 years 2 months ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
ICDE
1991
IEEE
175views Database» more  ICDE 1991»
14 years 4 days ago
Constraint-Based Reasoning in Deductive Databases
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
Jiawei Han
CLEIEJ
2006
87views more  CLEIEJ 2006»
13 years 8 months ago
Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
Stéphane Gançarski, Claudia Le&oacut...