A deductive database architecture based on partial evaluation

Authors:
Li Lei;G.-H. Moll;J. Kouloumdjian
Affiliations:
Ji Lin University, Dept. of Computer Science, Chang Chun, CHINA;Université Laval, Departement d'informatique, G1K 7P4 Ste-Foy, Québec, CANADA;INSA de Lyon, 43, Bd. du 11 Novembre 1918, F-69622 Villeurbanne Cedex, FRANCE
Venue:
ACM SIGMOD Record
Year:
1990

Citing 4
Cited 2

On the evaluation strategy of EDUCE

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Logic and Databases: A Deductive Approach

ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving

Database and artificial intelligence integration: a challenge to academia

ACM SIGCSE Bulletin
Towards highly optimized real-time middleware for software product-line architectures

ACM SIGBED Review - Special issue: The work-in-progress (WIP) session of the RTSS 2005

Quantified Score

Hi-index	0.00

Visualization

Abstract

The implementation of a logic programming language for database management systems is a possible way to build a knowledge base management system. It allows to re-use the know-how in the fields:of inference engines,of data management.However, the strategy of each component is very different. SLD resolution leads to a one tuple at a time access to facts, opposed to the set oriented approach of databases. To face this problem, a new strategy, has been designed to keep the advantages of each part avoiding the drawbacks. The kernel of the system is a Partial Evaluator, designed as a metaprogram, which allows to bridge the impedance mismatch gap.