Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases

Michel Ferreira, Ricardo Rocha and Sabrina Silva

September 2004

---

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. Although much work has been developed and described in the area of logic programming and relational databases, there are very few references which regard implementation alternatives in coupling a logic system with a relational database. In this work, we study and evaluate the impact of using different approaches for coupling the Yap Prolog system with the MySQL relational database system. Our results show that indexing and view level transformations are fundamental to achieve scalability.

Bibtex

@InProceedings{ferreira-ciclops04,
  author =    {M. Ferreira and R. Rocha and S. Silva},
  title =     {{Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases}},
  booktitle = {Proceedings of the 4th Colloquium on Implementation of Constraint and LOgic Programming 
               Systems (CICLOPS 2004)},
  pages =     {71--82},
  editor =    {M. Carro and J. F. Morales},
  month =     {September},
  year =      {2004},
  address =   {Saint-Malo, France},
}

Download Paper

PDF file