S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan  Home/Search
Context Related
| att.com/dist/db/attdb9312.ps.Z 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: indiana.edu/pub/ucstri/index (more) Homepages: R.Ramakrishnan |
Rate this article:      (best)Comment on this article |
Abstract: We present a very general technique for defining semantics for programs that use aggregation. We use the technique to extend the well-founded semantics and the valid semantics, both of which were designed to provide semantics for programs with negation, to handle programs that contain possibly recursive use of aggregation. The generalization is based on a simple but powerful idea of aggregation on three-valued multisets. The use of three-valued multisets makes our extended well-founded... (Update)
Context of citations to this paper: More
.... years there has been considerable interest in the topic of aggregation in logic programming and deductive databases [MPR90, KS91, RS92, V92, GSZ93, SSRB93]. An aggregate operation is a function that maps a set to some value, e.g. the maximum or minimum in the set, the...
...of all its members, etc. This has been a topic of considerable interest in the deductive database literature recently [8, 17, 21, 31, 32, 34]. In considering the problems with various semantic approaches, Van Gelder notes that, for many applications in which the use of...
Cited by: More
Pushing Extrema Aggregates to Optimize Logic Queries - Greco (2002) (Correct)
Ultimate Well-founded and Stable Semantics for Logic.. - Denecker, Pelov.. (2001) (Correct)
Extrema Predicates in Deductive Databases - Ganguly, Greco (1995) (Correct)
Similar documents (at the sentence level):
21.9%: Extending the Well-Founded and Valid Semantics for.. - Sudarshan.. (1993) (Correct)
Active bibliography (related documents): More All
0.5: A Survey of Research on Deductive Database Systems - Ramakrishnan, Ullman (1993) (Correct)
0.3: Efficient Incremental Evaluation of Queries with Aggregation - Ramakrishnan (1994) (Correct)
0.2: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
Similar documents based on text: More All
0.5: The Valid Model Semantics for Logic Programs - Catriel Beeri (1994) (Correct)
0.5: Magic Conditions - Mumick, Finkelstein, Pirahesh.. (1990) (Correct)
0.4: Coral++: Adding Object-Orientation to a Logic.. - Srivastava.. (1993) (Correct)
Related documents from co-citation: More All
13: Monotonic Aggregation in Deductive Databases - Ross, Sagiv - 1992
13: Semantics of logic programs with aggregates - Kemp, Stuckey - 1991
9: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
Sudarshan S., Srivastava, D., Ramakrishnan R., Beeri, C. Extending the WellFounded and Valid Semantics for Aggregation. Proc. ILPS'93 , 590--608, 1993. http://citeseer.ist.psu.edu/sudarshan93extending.html More
@inproceedings{ sudarshan93extending,
author = "S. Sudarshan and Divesh Srivastava and Raghu Ramakrishnan and Catriel Beeri",
title = "Extending the Well-Founded and Valid Semantics for Aggregation",
booktitle = "International Logic Programming Symposium",
pages = "590-608",
year = "1993",
url = "citeseer.ist.psu.edu/sudarshan93extending.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
118 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1991 ACM DBLP
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990 ACM DBLP
73 Modular Stratification and Magic Sets for DATALOG programs w.. (context) - Ross - 1990 ACM DBLP
61 Monotonic aggregation in deductive databases - Ross, Sagiv - 1992 ACM DBLP
54 the declarative semantics of stratified deductive databases (context) - Przymusinski - 1988
41 Aggregation and relevance in deductive databases - Sudarshan, Ramakrishnan - 1991 ACM DBLP
40 Semantics of logic programs with aggregates - Kemp, Stuckey - 1991 DBLP
40 The implementation of the CORAL deductive database system - Ramakrishnan, Srivastava et al. - 1993
38 Weakly perfect model semantics for logic programs (context) - Przymusinska, Przymusinski - 1988 DBLP
34 Controlling the search in bottom-up evaluation - Ramakrishnan, Srivastava et al. - 1992 DBLP
33 Minimum and maximum predicates in logic programming - Ganguly, Greco et al. - 1991 ACM DBLP
28 The well-founded semantics of aggregation (context) - Van Gelder - 1992 ACM DBLP
20 Duplicates and aggregates in deductive databases (context) - Mumick, Pirahesh et al. - 1990
10 The valid model semantics for logic programs - Beeri, Ramakrishnan et al. - 1992
10 The valid model semantics for logic programs - Beeri, Ramakrishnan et al. - 1992
5 Horn clause programs for recursive functions (context) - Sebelik, Stepanek - 1982
1 Extending the valid and well-founded semantics for aggregati.. (context) - Sudarshan, Srivastava et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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