Kenneth Ross, Yehoshua Sagiv  Home/Search
Context Related
Links: ACM DBLP | columbia.edu/~kar/pubsk/aggmon.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: columbia.edu/~kar/pubsk/pubsk (more) Homepages: K.Ross |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Cited by: More
Constraint Query Algebras - Goldin (1997) (Correct)
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (2003) (Correct)
Aggregate Functions in Disjunctive Logic Programming: - Semantics Complexity And (2003) (Correct)
Active bibliography (related documents): More All
0.4: On the Decidability and Axiomatization of Query Finiteness in.. - Kifer (1998) (Correct)
0.4: Speeding Up Inferences Using Relevance - Reasoning Formalism And (Correct)
0.2: Logic and Databases - Eder (Correct)
Similar documents based on text: More All
0.2: Magic Conditions - Mumick, Finkelstein, Pirahesh.. (1990) (Correct)
0.1: Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
0.1: A Proof-Theoretic Approach to Irrelevance: Foundations and.. - Levy, Fikes, Sagiv (1994) (Correct)
Related documents from co-citation: More All
28: Semantics of logic programs with aggregates - Kemp, Stuckey - 1991
20: The Well-Founded Semantics of Aggregation (context) - Van Gelder - 1992
20: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
K.A. Ross and Y. Sagiv, "Monotonic Aggregation in Deductive Databases," Proc. 11th ACM Symp. on Principles of Database Systems, pp. 114-126, San Diego, 1992. http://citeseer.ist.psu.edu/ross92monotonic.html More
@inproceedings{ ross92monotonic,
author = "Kenneth A. Ross and Yehoshua Sagiv",
title = "Monotonic aggregation in deductive databases",
pages = "114--126",
year = "1992",
url = "citeseer.ist.psu.edu/ross92monotonic.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1989
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991 ACM DBLP
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990 ACM DBLP
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
90 Horn clause queries and generalizations (context) - Chandra, Harel - 1985
73 Modular stratification and magic sets for Datalog programs w.. (context) - Ross - 1994 ACM DBLP
59 Dependency structures of data base relationships (context) - Armstrong - 1974 DBLP
50 The magic of duplicates and aggregates - Mumick, Pirahesh et al. - 1990 ACM DBLP
41 Aggregation and relevance in deductive databases - Sudarshan, Ramakrishnan - 1991 ACM DBLP
40 Semantics of logic programs with aggregates - Kemp, Stuckey - 1991
28 The well-founded semantics of aggregation (context) - Van Gelder - 1992 ACM DBLP
20 Datalog and negation (context) - Abiteboul, Hull - 1988
11 A termination test for logic programs (context) - Sagiv - 1991
9 A logic for negation in database systems (context) - Naqvi - 1986 DBLP
9 On termination of datalog programs (context) - Brodsky, Sagiv - 1990 DBLP
5 On testing effective computability of magic programs (context) - Sagiv - 1991 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.columbia.edu/~kar/pubsk/pubsk.html): More
Glue-Nail: A Deductive Database System - Phipps, Derr, Ross (1991) (Correct)
Structural Totality and Constraint Stratification - Ross (Correct)
A Syntactic Stratification Condition Using Constraints - Kenneth Ross (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC