Coupling OPTYap with a Database System
Michel Ferreira and Ricardo Rocha
February 2005
Abstract
Logic programming and relational databases have common foundations
based on First Order Logic. By coupling both paradigms, we can combine
the efficiency and safety of databases in dealing with large amounts
of data with the higher expressive power of logic and, thus, build
more powerful systems. In this work, we study and evaluate the impact
of coupling OPTYap with the MySQL relational database management
system. We use the OPTYap extension of the Yap Prolog compiler, which
is the first available system that can exploit parallelism from tabled
logic programs. We describe the major features of the system, give a
detailed description of the implementation and present a performance
comparison of using asserted facts or accessing the facts as external
relational tuples. Our results show that indexing and view level
transformations are fundamental to achieve scalability.
Bibtex
@InProceedings{ferreira-iadis05,
author = {M. Ferreira and R. Rocha},
title = {{Coupling OPTYap with a Database System}},
booktitle = {Proceedings of the IADIS International Conference Applied Computing (IADIS-AC 2005)},
pages = {107--114},
volume = {II},
publisher = {IADIS Press},
editor = {N. Guimarães and P. Isaías},
month = {February},
year = {2005},
address = {Algarve, Portugal},
}
Download Paper
PDF file
IADIS Press
Download Slides
PDF file