Towards a unified view of query- and update-driven Inference in deductive databases
Document typeConference report
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
When thinking oí deductive databases, most people will probably associate this notion rather closely with problems of query processing: deductive database research is essen tially concerned with formalization and implementation oí information retrieval interins of logical inference. This reaction - which seems to come quasi automatically - is probably due to the fact that the majority of papers on deductive database aspects written in the past has been concemed with query processing. Moreover, this issue has been in the center of interest in database research anyway, not only in the deductive context. In a similarly straightforward manner do we associate rules and query answering. We all would probably agree that activating rules is essentially done in order to infer answers to queries: deduction in databases tends to be regarded mainly as query-driven inference.
CitationManthey, R. Towards a unified view of query- and update-driven Inference in deductive databases. A: "Proceedings of the 2nd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991, p. 220-224.