Advanced query formulation in deductive databases

摘要

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 also establish 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.