EconPapers    
Economics at your fingertips  
 

Digress: A deductive interface to a relational database

Stuart McLean and Charlotte Weise

Journal of the American Society for Information Science, 1991, vol. 42, issue 1, 49-63

Abstract: Databases with inferencing capabilities have a practical as well as a theoretical interest because they have the potential to combine the efficient use of secondary storage and multiuser controls common to database management systems with the capabilities of expert system technology. A relational database is a knowledge representation scheme in which deductive inferences are valid logical consequences of information contained in the database under the closed world assumption, the domain closure assumption, and the unique names assumption. Since the database relational calculus can be expressed as a first order language, it can be utilized to perform deductive reasoning. This article reviews the theoretical and practical justifications for providing current database technology with inferencing capabilities and reports on a current research project which implements a deductive retriever in INGRES, using the DBMS data manipulation language QUEL and its interface language EQUEL. © 1991 John Wiley & Sons, Inc.

Date: 1991
References: Add references at CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/(SICI)1097-4571(199101)42:13.0.CO;2-Y

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:bla:jamest:v:42:y:1991:i:1:p:49-63

Ordering information: This journal article can be ordered from
https://doi.org/10.1002/(ISSN)1097-4571

Access Statistics for this article

More articles in Journal of the American Society for Information Science from Association for Information Science & Technology
Bibliographic data for series maintained by Wiley Content Delivery ().

 
Page updated 2025-03-19
Handle: RePEc:bla:jamest:v:42:y:1991:i:1:p:49-63