Coupling OPTYap with a Database System

Michel Ferreira and Ricardo Rocha

February 2005


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.


  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

Download Slides

PDF file