DBTAB: a Relational Storage Model for the YapTab Tabling System

Pedro Costa, Ricardo Rocha and Michel Ferreira

August 2006


Resolution strategies based on tabling have proved to be particularly effective in logic programs. However, when tabling is used for applications that store large answers and/or a huge number of answers, we can quickly run out of memory. In general, to recover space, we will have no choice but to delete some of the tables. In this work, we propose an alternative approach and instead of deleting tables, we store them externally using a relational database system. Subsequent calls to stored tables would import answers from the database, hence avoiding re-computation. To validate our approach, we have extended the YapTab tabling system to provide engine support for exporting and importing tables to and from the MySQL relational database management system.


  author =    {P. Costa and R. Rocha and M. Ferreira},
  title =     {{DBTAB: a Relational Storage Model for the YapTab Tabling System}},
  booktitle = {Proceedings of the 6th Colloquium on Implementation of Constraint and LOgic Programming 
               Systems (CICLOPS 2006)},
  pages =     {95--109},
  editor =    {E. Pontelli and Hai-Feng Guo},
  month =     {August},
  year =      {2006},
  address =   {Seattle, Washington, USA},

Download Paper

PDF file

Download Slides

PDF file