We propose a semantics for aggregates in deductive databases based on a notion of minimality. Unlike some previous approaches, we form a minimal model of a program component including aggregate operators, rather than insisting that the aggregate apply to atoms that have been fully determined or that aggregate functions are rewritten in terms of negation. In order to guarantee the existence of such a minimal model we need to insist that the domains over which we are aggregating are complete lattices and that the program is in a sense monotonic. Our approach generalizes previous approaches based on the well-founded semantics and various forms of stratification. We are also able to handle a large variety of monotonic (or pseudo-monotonic) aggregate functions. © 1997 Academic Press.
CITATION STYLE
Ross, K. A., & Sagiv, Y. (1997). Monotonic Aggregation in Deductive Databases. Journal of Computer and System Sciences, 54(1), 79–97. https://doi.org/10.1006/jcss.1997.1453
Mendeley helps you to discover research relevant for your work.