Advanced Query Formulation in Deductive Databases
Timo Niemi# and Kalervo Järvelin+
#Department of Computer Science
+Department of Information Studies
University of Tampere
P.O.Box 607
FIN-33101 TAMPERE, Finland
Information Processing & Management 28(2), 1992: 181-199
Abstract
A novel operation-oriented framework for deductive databases is introduced. Several types of end user queries to deductive databases are classified, and sample queries are used to demonstrate how they can be expressed in our framework. The sample queries and their sample evaluations show essentially reduced user effort and essentially increased user capability in the expression of advanced queries in deductive databases. These are also necessary features in modern information retrieval from fact databases. We establish also criteria for advanced query formulation in deductive databases from the end-user viewpoint and analyze failures of conventional and present deductive DBMSs in meeting them.
Keywords: Knowledge-based retrieval, deductive databases, relational databases, knowledge representation, integration of recursive and non-recursive processing, entity types and instances.
Return to Kal's home page.
Return to Kal's publication list.
Paluu Kallen kotisivulle.
Paluu Kallen julkaisuluetteloon.