1994
Other
Unknown
An operator for composing deductive databases with theories of constraints
Aquilino D., Asirelli P., Renso C., Turini F.
Deductive data bases Software/program verification
An operation for restricting deductive databases represented as logic programs is introduced. The restrictions are represented in a separate deductive database. The operation is given an abstract semantics in terms of the immediate consequence operator. A transformational implementation is given and its correctness is proved with respect to the abstract semantics.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408840,
title = {An operator for composing deductive databases with theories of constraints},
author = {Aquilino D. and Asirelli P. and Renso C. and Turini F.},
year = {1994}
}
0000-0002-1763-2966CNR ExploRA