Hostname: page-component-76fb5796d-x4r87 Total loading time: 0 Render date: 2024-04-28T01:23:33.121Z 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)

Abstract

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)