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
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Glue-Nail: a deductive database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Is GUI programming a database research problem?
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
InfoSleuth: agent-based semantic integration of information in open and dynamic environments
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Advances in knowledge discovery and data mining
Advanced database systems
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A classification-based methodology for planning audit strategies in fraud detection
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
A relational model of data for large shared data banks
Communications of the ACM
Applications of Logic Databases
Applications of Logic Databases
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Logic and Data Bases
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
IEEE Transactions on Knowledge and Data Engineering
Intelligent Query Answering by Knowledge Discovery Techniques
IEEE Transactions on Knowledge and Data Engineering
Deductive and Object Data Languages: A Quest for Integration
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
MedMaker: A Mediation System Based on Declarative Specifications
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
A Declarative Language for Querying and Restructuring the Web
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
| Hi-index | 0.00 |
The objective of deductive databases is to provide efficient support for sophisticated queries and reasoning on large databases; toward this goal, they combine the technology of logic programming with that of relational databases. Deductive database research has produced methods and techniques for implementing the declarative semantics of logical rules via efficient computation of fixpoints. Also, advances in language design and nonmonotonic semantics were made to allow the use of negation and set-aggregates in recursive programs; these yield greater expressive power while retaining polynomial data complexity and semantic well-formedness. Deductive database systems have been used in data mining and other advanced applications, and their techniques have been incorporated into a new generation of commercial databases.