Applying restriction constraints to deductive databases

Authors:
D. Aquilino;P. Asirelli;C. Renso;F. Turini
Affiliations:
-;-;-;-
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
1997

Citing 8
Cited 2

Integrity constraints in logic databases

Journal of Logic Programming
Logic programs with exceptions

Logic programming
Mediators in the Architecture of Future Information Systems

Computer
Modular logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
OIKOS: constructing process-centred SDEs

Software process modelling and technology
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Implementations of Program Composition Operations

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Language Extensions for Semantic Integration of Deductive Databases

LID '96 Proceedings of the International Workshop on Logic in Databases

Towards declarative GIS analysis

GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Dynamic composition of parameterised logic modules

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

An operation for restricting deductive databases represented as logic programs is introduced. The constraints are coded in a separate database, and the operator puts the two databases together in order to provide a restricted view of the original database. The operator is given a semantics in terms of the immediate consequence operator. Then a transformational implementation is given and its correctness is proved with respect to the abstract semantics. The approach is presented at first for positive programs and it is then extended to take negation as failure into account.