Anthony J. Bonner, L. Thorne McCarty, Kumar Vadaparty  Home/Search
Context Related
Links: DBLP | toronto.edu/pub/bonner/pap...naclp89.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: toronto.edu/~bonner/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper develops a declarative language with intuitionistic semantics which expresses exactly the generic database queries. Syntactically, the language is an extension of Datalog (function-free Horn logic) which allows rules themselves to appear in the bodies of other rules. Such rules are called embedded implications. Several researchers have studied restricted versions of these rules, but in their full incarnation, universal quantifiers may appear in the premises, as in the rule A / 8 x... (Update)
Context of citations to this paper: More
.... I pass CS121 will I graduate ) are easy to model using intuitionistic contexts, updating and retracting facts are not straightforward [3, 9, 19]. ffl A notion of state encapsulation can be approximated using intuitionistic logic [15] An object s state can be represented by...
.... a rich notion of dynamic scoping, which adresses important issues in as various fields as theorem proving [6, 18, 5] deductive databases [3], natural language processing [19, 17, 7] type inference [5, 20] software engineering [21] and modularity in logic programming [13]...
Cited by: More
A Declarative Alternative to - Assert In Logic (Correct)
A Declarative Alternative to "Assert" in Logic Programming - Dietzen, Pfenning (1991) (Correct)
A Framework for Modal Logic Programming - Baldoni, Giordano, Martelli (1996) (Correct)
Active bibliography (related documents): More All
0.5: Circumscribing Embedded Implications (Without Stratifications) - McCarty (1992) (Correct)
0.5: Hypothetical Reasoning with Intuitionistic Logic - Bonner (1994) (Correct)
0.4: A Logical Semantics For Hypothetical Rulebases With Deletion - Bonner (1997) (Correct)
Similar documents based on text: More All
0.3: Adding Negation-as-Failure to Intuitionistic Logic Programming - Bonner, McCarty (1992) (Correct)
0.2: Hypothetical Datalog: Negation and Linear Recursion - Bonner (1989) (Correct)
0.2: A Logic for Hypothetical Reasoning - Bonner (1988) (Correct)
Related documents from co-citation: More All
22: Prolog: an extension of Prolog with hypothetical implications (context) - Gabbay - 1985
14: Clausal Intuitionistic Logic (context) - McCarty - 1988
14: Miller D.: A Logical Analysis of Modules in Logic Programming, Journal of Logic Programming, 1989, pp. 79 19
BibTeX entry: (Update)
A.J. Bonner, L.T. McCarty, and K. Vadaparty. Expressing Database Queries with Intuitionistic Logic. In Proceedings of the North American Conference on Logic Programming (NACLP), pages 831--850, Cleveland, Ohio, October 16--20 1989. MIT Press. http://citeseer.ist.psu.edu/bonner89expressing.html More
@inproceedings{ bonner89expressing,
author = "A. J. Bonner and L. T. McCarty and K. Vadaparty",
title = "Expressing {D}atabase {Q}ueries with {I}ntuitionistic {L}ogic",
booktitle = "Proceedings of the North American Conference on Logic Programming",
address = "Cleveland, Ohio, USA",
editor = "Ewing L. Lusk and Ross A. Overbeek",
isbn = "0-262-62064-2",
pages = "831--850",
year = "1989",
url = "citeseer.ist.psu.edu/bonner89expressing.html" }
Citations (may not include all citations):203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
198 Structure and Complexity of Relational Queries - Chandra, Harel - 1980 DBLP
189 Computable Queries for Relational Databases - Chandra, Harel - 1980
166 An Overview of Prolog (context) - Nadathur, Miller - 1988
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989 ACM DBLP
124 Datalog extensions for database queries and updates (context) - Abiteboul, Vianu - 1988 ACM DBLP
82 Prolog: an Extension of Prolog with Hypothetical Implication.. (context) - Gabbay - 1985
82 Prolog: an Extension of Prolog with Hypothetical Implication.. (context) - Gabbay, Reyle - 1984
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
48 Semantical Analysis of Intuitionistic Logic (context) - Kripke - 1965
23 Model Theory and Forcing (context) - Fitting - 1969
20 A Language for Legal Discourse (context) - McCarty - 1989
18 Database Updates in Pure Prolog (context) - Warren - 1984 DBLP
16 A Transaction Language Complete for Database Update Specific.. (context) - Abiteboul, Vianu - 1987
12 A Logic for Hypothetical Reasoning - Bonner - 1988 DBLP
9 Hypothetical Datalog: Negation and Linear Recursion - Bonner - 1989 DBLP
7 Hypothetical Datalog: Complexity and Expressibility - Bonner - 1988 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.toronto.edu/~bonner/papers.html): More
Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996) (Correct)
Using Interval Graphs for Solving Map Assembly Problems - Randall (1997) (Correct)
Sequences, Datalog and Transducers - Mecca, Bonner (1995) (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