Results 1 - 10 of 748

XSB as an Efficient Deductive Database Engine

by Konstantinos Sagonas, Terrance Swift, David S. Warren - In Proceedings of the ACM SIGMOD International Conference on the Management of Data , 1994
"... This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deficiencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced thro ..."
Abstract - Cited by 236 (32 self) - Add to MetaCart
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deficiencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced

Multiple-Query Optimization

by Timos K. Sellis - ACM Transactions on Database Systems , 1988
"... Some recently proposed extensions to relational database systems, as well as to deductive database systems, require support for multiple-query processing. For example, in a database system enhanced with inference capabilities, a simple query involving a rule with multiple definitions may expand to m ..."
Abstract - Cited by 263 (4 self) - Add to MetaCart
Some recently proposed extensions to relational database systems, as well as to deductive database systems, require support for multiple-query processing. For example, in a database system enhanced with inference capabilities, a simple query involving a rule with multiple definitions may expand

A Survey of Research on Deductive Database Systems

by Raghu Ramakrishnan, Jeffrey D. Ullman - JOURNAL OF LOGIC PROGRAMMING , 1993
"... The area of deductive databases has matured in recent years, and it now seems appropriate to re ect upon what has been achieved and what the future holds. In this paper, we provide an overview of the area and briefly describe a number of projects that have led to implemented systems. ..."
Abstract - Cited by 119 (7 self) - Add to MetaCart
The area of deductive databases has matured in recent years, and it now seems appropriate to re ect upon what has been achieved and what the future holds. In this paper, we provide an overview of the area and briefly describe a number of projects that have led to implemented systems.

The Aditi deductive database system

by Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland - VLDB JOURNAL , 1994
"... Deductive databases generalize relational databases by providing sup-port for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting par-allelism on shared-memory multiprocessors. The back-end uses rel ..."
Abstract - Cited by 55 (7 self) - Add to MetaCart
Deductive databases generalize relational databases by providing sup-port for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting par-allelism on shared-memory multiprocessors. The back-end uses

Probabilistic Deductive Databases

by Laks V.S. Lakshmanan, Fereidoon Sadri , 1994
"... Knowledge-base (KB) systems must typically deal with imperfection in knowledge, e.g. in the form of imcompleteness, inconsistency, uncertainty, to name a few. Currently KB system development is mainly based on the expert system technology. Expert systems, through their support for rule-based program ..."
Abstract - Cited by 70 (2 self) - Add to MetaCart
, forcing the user to take the responsibility for an efficient implementation of the KB system. We contend KB system development can and should take advantage of the deductive database technology, which overcomes most of the above limitations. An important problem here is to extend deductive databases

A Deductive System for Nonmonotonic Reasoning

by Thomas Eiter, Nicola Leone - In , 1997
"... Abstract. Disjunctive Deductive Databases (DDDBs)-- function-free disjunctive logic programs with negation in rule bodies allowed-- have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research as been spent on issues like semantics and comple ..."
Abstract - Cited by 109 (21 self) - Add to MetaCart
currently devel-oped at TU Vienna in the FWF project P11580-MAT '~A Query System for Disjunctive Deductive Databases". 1 In t roduct ion The study of integrating databases with logic programming opened in the past the field of deductive databases. Basically, a deductive database is a function

Knowledge Discovery in Databases: An Attribute-Oriented Approach

by Jiawei Han , Yandong Cai, Nick Cercone , 1992
"... Knowledge discovery in databases, or data mining, is an important issue in the development of data- and knowledge-base systems. An attribute-oriented induction method has been developed for knowledge discovery in databases. The method integrates a machine learning paradigm, especially learning-from- ..."
Abstract - Cited by 176 (15 self) - Add to MetaCart
Knowledge discovery in databases, or data mining, is an important issue in the development of data- and knowledge-base systems. An attribute-oriented induction method has been developed for knowledge discovery in databases. The method integrates a machine learning paradigm, especially learning

Reactive Consistency Control in Deductive Databases

by Guido Moerkotte, Peter C. Lockemann, Fakultat Fur Informatik - ACM Transactions on Database Systems , 1991
"... Classical treatment of consistency violations is to back out a database operation or transaction. In applications with large numbers of fairly complex consistency constraints this clearly is an unsatisfactory solution. Instead, if a violation is detected the user should be given a diagnosis of the c ..."
Abstract - Cited by 63 (6 self) - Add to MetaCart
of the constraints that failed, a line of reasoning on the cause that could have led to the violation, and suggestions for a repair. The problem is particularly complicated in a deductive database system where failures may be due to an inferred condition rather than simply a stored fact, but the repair can only

Deductive Databases

by unknown authors
"... Abstract. Physicians and medical decision-support applications, such as for diagnosis, therapy, monitoring, quality assessment, and clinical research, reason about patients in terms of abstract, clinically meaningful concepts, typically over significant time periods. Clinical databases, however, sto ..."
Abstract - Add to MetaCart
finite answer sets and shortly explain why a complete bottom-up inference mechanism terminates. The TAR language was implemented as the inference component termed ALMA in the distributed mediation system IDAN, which integrates a set of clinical databases and medical knowledge bases. Initial experiments

Implementation of the CORAL Deductive Database System

by Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri , 1993
"... CORAL is a deductive database system that provides a modular, declarative query language/programming language. CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The ..."
Abstract - Cited by 43 (5 self) - Add to MetaCart
CORAL is a deductive database system that provides a modular, declarative query language/programming language. CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming
Results 1 - 10 of 748