Gabriel M. Kuper IBM T. J. Watson Research Laboratory Yorktown Heights, New...  Home/Search
Context Related
Links: ACM DBLP | belllabs.com/user/kuper...fulllps.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: belllabs.com/user...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is how to extend logic programming to handle aggregation. We regard such an extension as an essential prerequisite to extending logic programming to non-1NF databases. 1 (Update)
Context of citations to this paper: More
...fg 2 (a; b) Representation (2) has been frequently used in the context of logic languages embedding sets. It is used for instance in [31], in [44] where with is called scons, in the language flogg [16] and also in the G odel language [25] 26] uses the [ operator but its...
...associative, commutative, and idempotent unification procedure. This is the approach of systems like CLPS [14] flogg [5] and others [2, 13, 28]. Yet different approaches allow set comprehensions like fx j p(x)g with an intensional semantics [4] or consider non standard set...
Cited by: More
Answer Set Programming with Templates - Ianni, Ielpa, Pietramala.. (2003) (Correct)
Set Unification - Dovier, Pontelli, Rossi (2001) (Correct)
Set-Based Constraints - Dovier, Piazza, Rossi (Correct)
Active bibliography (related documents): More All
0.8: The Logical Data Model - Kuper, Vardi (1997) (Correct)
0.7: On the Expressive Power of Logic Programming Languages with Sets - Gabriel Kuper Ibm (1988) (Correct)
0.2: Automated Termination Analysis for Logic Programs - Sohn (1993) (Correct)
Similar documents based on text: More All
0.0: Gabriel Networks: Self-Organizing Neural Networks for Adaptive.. - Mou, Yeung (Correct)
0.0: RNG and internal node based broadcasting algorithms.. - Seddigh, Gonzalez.. (2001) (Correct)
0.0: Hy+ User's Manual - Eigler (Correct)
Related documents from co-citation: More All
21: Sets and Negation in a Logic Database Language (context) - Beeri, Naqvi et al. - 1987
18: Set constructors in a logic database language (context) - Beeri, Naqvi et al. - 1991
15: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
G.M. Kuper. Logic programming with sets. JCSS, 41(1), 1990. http://citeseer.ist.psu.edu/kuper90logic.html More
@inproceedings{ kuper87logic,
author = "G. M. Kuper",
title = "Logic programming with sets",
pages = "11--20",
year = "1987",
url = "citeseer.ist.psu.edu/kuper90logic.html" }
Citations (may not include all citations):204 Magic sets and other strange ways to implement logic program.. (context) - Bancilhon, Maier et al. - 1986 DBLP
182 Logic for Problem Solving (context) - Kowalski - 1979 ACM
163 Universality of data retrieval languages (context) - Aho, Ullman - 1979
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976 ACM DBLP
105 Making PROLOG more expressive (context) - Lloyd, Topor - 1984 DBLP
71 Remarks on the algebra of non first normal form relations (context) - Jaeschke, Schek - 1982
61 Logic and Databases (context) - Gallaire, Minker - 1978
56 ACM Transactions on Database Systems (context) - Smith, Smith et al. - 1977 ACM
52 Logic programming with sets - Kuper - 1987
45 A new approach to database logic (context) - Kuper, Vardi - 1984 ACM DBLP
40 Implementation of logical query languages for databases (context) - Ullman - 1985 ACM DBLP
40 Sets and negation in a logic database language (context) - Beeri, Naqvi et al. - 1987
39 LDL: A logic-based data-language (context) - Tsur, Zaniolo - 1986
36 A calculus for complex objects (context) - Bancilhon, Khoshafian - 1986
36 The format model: A theory of database organization (context) - Hull, Yap - 1982
28 Data structures for an integrated data base management and i.. (context) - Scheck, Pistor - 1982 ACM DBLP
27 On compiling queries in recursive first-order databases (context) - Henschen, Naqvi - 1984
17 Deductive question answering in relational databases (context) - Reiter - 1978
6 An Extension of LPS to Arbitrary Sets (context) - Kuper - 1987
6 A normal form for nested relations (context) - Ozsoyoglu, Yuan - 1985 ACM DBLP
5 Set grouping and layering in Horn clause programs (context) - Shmueli, Naqvi - 1987 DBLP
4 Automatic Generation of Control for Logic Programs (context) - Naish - 1983
2 Towards a Theory of Declarative Logic (context) - Apt, Blair et al. - 1986
2 A Data Definition Language for a Statistical Database (context) - Rafanelli, Ricci - 1983
1 LPS: A Logic Programming Language for Nested Relations (context) - Kuper - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-db.research.bell-labs.com/user/kuper/publications.html): More
The Logical Data Model - Kuper, Vardi (1997) (Correct)
Linear vs. Polynomial Constraints in Database Query.. - Afrati, Cosmadakis.. (1994) (Correct)
On the Complexity of Queries in the Logical Data Model - Gabriel Kuper Ibm (1993) (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