Implementation of a Prolog-INGRES interface

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementation of a Prolog-INGRES interface

Full text

Pdf (696 KB)

Source

ACM SIGMOD Record archive
Volume 17 , Issue 2 (June 1988) table of contents

Pages: 77 - 88

Year of Publication: 1988

ISSN:0163-5808

Authors

S. Ghosh	Department of Computer Science, University of Maryland, College Park, MD
C. C. Lin	Department of Computer Science, University of Maryland, College Park, MD
T. Sellis	Department of Computer Science, University of Maryland, College Park, MD

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 2

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/51708.51713 What is a DOI?

ABSTRACT

This report describes a working prototype of a Prolog-INGRES interface based on external semantic query simplification. Semantic query simplification employs integrity constraints enforced in a database system for reducing the number of tuple variables and terms in a relational query. This type of query simplifier is useful in providing very high level user interfaces to existing database systems. The system employes a graph theoretic approach to simplify arbitrary conjunctive queries with inequalities. One very interesting feature of the system is to provide meaningful error messages in case of an empty query result resulting from contradiction. In addition to data, rules are stored in the database as well and are retrieved automatically if the Prolog program references them but they are not defined in the Prolog rulebase.

CITED BY 2

	Alex Borgida , Ronald J. Brachman, Loading data into description reasoners, ACM SIGMOD Record, v.22 n.2, p.217-226, June 1, 1993
	Y. E. Ioannidis , M. M. Tsangaris, The Design, Implementation, and Performance Evaluation of BERMUDA, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.38-56, February 1994