Showing cs.DBShow all
2 papers · 1 filter
cs.DB2003
Declarative Semantics for Active Rules
Sergio Flesca, Sergio Greco
In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular we consider several (partial) stable model semantics, previously…
cs.DB2003
Greedy Algorithms in Datalog
Sergio Greco, Carlo Zaniolo
In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. Ho…