Applying restriction constraints to deductive databases
Aquilino D., Asirelli P., Renso C., Turini F.
Logic programming Artificial Intelligence Information Systems Applied Mathematics Deductive databases
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
Source: Annals of mathematics and artificial intelligence 19 (1997): 3–25. doi:10.1023/A:1018943319381
Publisher: J.C. Baltzer AG., Basel, Svizzera
Metrics
Back to previous page
@article{oai:it.cnr:prodotti:258477,
title = {Applying restriction constraints to deductive databases},
author = {Aquilino D. and Asirelli P. and Renso C. and Turini F.},
publisher = {J.C. Baltzer AG., Basel, Svizzera},
doi = {10.1023/a:1018943319381 and 10.1023/a%3a1018943319381},
journal = {Annals of mathematics and artificial intelligence},
volume = {19},
pages = {3–25},
year = {1997}
}
0000-0002-1763-2966