Searching for "Integrity Checking in Deductive Databases." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Integrity Checking in Deductive Databases
- …INTEGRITY CHECKING IN DEDUCTIVE DATABASES Robert Kowalski Fariba Sadri Paul Soper We describe…
- Cited by 16 (0 self) – Add To MetaCart
-
An Integrity Constraint Checking Method for Temporal Deductive Databases.
- …An Integrity Constraint Checking Method for Temporal Deductive Databases. Carme Mart��n, Jaume…
- Add To MetaCart
-
Towards Creating Specialised Integrity Checks Through Partial Evaluation
- … this scheme to specialise integrity checking in deductive databases. We present an interpreter which can…
- Cited by 16 (14 self) – Add To MetaCart
-
Logic Databases and the Meaning of Change
- … in first-order databases. In Proc. 5th SCAI, 1995. [CD] Celma, Decker. Integrity checking in deductive…
- Add To MetaCart
-
Partial Deduction of the Ground Representation and its Application to Integrity Checking
- … could be used to derive specialised integrity checks for deductive databases by partially evaluating…
- Cited by 18 (11 self) – Add To MetaCart
-
The Events Method for View Updating in Deductive Databases
- … from deductive conceptual models. A different application to integrity checking in deductive databases…
- Cited by 15 (6 self) – Add To MetaCart
-
Dagstuhl Report on Logic Databases and the Meaning of Change
- … be used as a framework for integrity checking in deductive databases. Most known approaches in integrity…
- Add To MetaCart
-
Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters
- …, however, it can be quite expensive to check the integrity of a deductive database after each update…
- Cited by 18 (10 self) – Add To MetaCart
-
Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework
- … of Oliv�� [Oli91] Oliv�� (1991) proposes a method for integrity checking in deductive databases, called…
- Add To MetaCart
-
Advanced Techniques for Logic Program Specialisation
- … application in the area of integrity checking in deductive databases is worked out. Finally, an integration…
- Cited by 25 (13 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
