Metalogical control for logic programs
Journal of Logic Programming
Naive evaluation of recursively defined relations
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Design overview of the NAIL] system
Proceedings on Third international conference on logic programming
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming in Prolog
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Meta-level control for deductive database systems
Meta-level control for deductive database systems
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Communications of the ACM
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advances in Data Base Theory
Logic and Data Bases
Proceedings of the Third International Conference on Data Engineering
Database Technology for Expert Systems
Wissensbasierte Systeme, 1. Internationaler GI-Kongress
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Hi-index | 0.00 |
In relational or deductive database systems the user can hardly (or only in a rather implicit way) change the deduction process used for answering a query. For example, the user cannot specify that–for a given query–some rules of a deductive database are irrelevant for computing the answer of that query and hence should be disregarded, or that–while computing the answer of a query–some tuples should be preferred over other tuples. In [Sch91] we have introduced a deductive database system which offers the user a framework for specifying such control knowledge. Thereby the user can adapt the deduction process of our deductive database system to the application at hand. In this paper we will briefly recapture the architecture of this system. Then we will present two examples, and we will show how these two examples can be solved more efficiently with our system.