An operator for composing deductive data bases with theories of constraints

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Logic Program; Logic Programming; Consequence Operator; Integrity Constraint; Transformational Approach
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/212081
Titolo del libro:
Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings