An operator for composing deductive data bases with theories of constraints

Conference Paper
Publication Date:
1995
abstract:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Logic Program; Logic Programming; Consequence Operator; Integrity Constraint; Transformational Approach
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/212081
Book title:
Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings