APPLYING RESTRICTION CONSTRAINTS TO DEDUCTIVE DATABASES

Authors
AQUILINO D ASIRELLI P RENSO C TURINI F
Citation
D. Aquilino et al., APPLYING RESTRICTION CONSTRAINTS TO DEDUCTIVE DATABASES, Annals of mathematics and artificial intelligence, 19(1-2), 1997, pp. 3-25
Citations number
16
Categorie Soggetti
Computer Sciences",Mathematics,Mathematics,"Computer Science Artificial Intelligence
Journal title
Annals of mathematics and artificial intelligence → ACNP
ISSN journal
10122443
Volume
19
Issue
1-2
Year of publication
1997
Pages
3 - 25
Database
ISI
SICI code
1012-2443(1997)19:1-2<3:ARCTDD>2.0.ZU;2-D
Abstract
An operation for restricting deductive databases represented as logic programs is introduced. The constraints are coded in a separate databa se, and the operator puts the two databases together in order to provi de a restricted view of the original database. The operator is given a semantics in terms of the immediate consequence operator. Then a tran sformational implementation is given and its correctness is proved wit h respect to the abstract semantics. The approach is presented at firs t for positive programs and it is then extended to take negation as fa ilure into account.