Hostname: page-component-745bb68f8f-lrblm Total loading time: 0 Render date: 2025-02-11T03:20:50.362Z Has data issue: false hasContentIssue false

Declarative semantics for active rules

Published online by Cambridge University Press:  03 April 2001

SERGIO FLESCA
Affiliation:
DEIS, Università della Calabria, 87030 Rende, Italy (e-mail: flesca@si.deis.unical.it)
SERGIO GRECO
Affiliation:
DEIS, Università della Calabria, and ISI-CNR, 87030 Rende, Italy (e-mail: greco@deis.unical.it)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular, we consider several (partial) stable model semantics, previously defined for deductive rules, such as well-founded, max deterministic, unique total stable model, total stable model and maximal stable model semantics. The semantics of an active program [Ascr ][Pscr ] is given by first rewriting it into a deductive program [Lscr ][Pscr ], then computing a model M defining the declarative semantics of [Lscr ][Pscr ] and, finally, applying ‘consistent’ updates contained in M to the source database. The framework we propose permits a natural integration of deductive and active rules and can also be applied to queries with function symbols or to queries over infinite databases.

Type
Research Article
Copyright
© 2001 Cambridge University Press