Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
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
A message passing framework for logical query evaluation
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
Generality in artificial intelligence
Communications of the ACM
A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Logic programming and databases
Logic programming and databases
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Optimizing existential datalog queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Proceedings of the Third International Conference on Data Engineering
Design Overview of the Aditi Deductive Database System
Proceedings of the Seventh International Conference on Data Engineering
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
LOLA - A Logic Language for Deductive Databases and its Implementation
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
Database Technology for Expert Systems
Wissensbasierte Systeme, 1. Internationaler GI-Kongress
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Case study: The furniture company: deductive databases and the scheduling problem
International Journal of Information Management: The Journal for Information Professionals
| Hi-index | 0.00 |
The Smart Data System (SDS) and its declarative query language, Declarative Reasoning, represent the first large-scale effort to commercialize deductive database technology. SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment. In this article we discuss several interesting aspects of the query compilation and optimization process. The emphasis is on the query execution plan data structure and its transformations by the optimizing rule compiler. Through detailed case studies we demonstrate that efficient and very compact runtime code can be generated. We also discuss our experiences gained from a large pilot application (the MVV-expert) and report on several issues of practical interest in engineering such a complex system, including the migration from Lisp to C. We argue that heuristic knowledge and control should be made an integral part of deductive databases.