The MyYapDB Deductive Database System

Michel Ferreira and Ricardo Rocha

September 2004


We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap 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 simplified description of the implementation and present a performance comparison of using static facts or accessing the facts as MySQL tuples for a simple example.


  author =    {M. Ferreira and R. Rocha},
  title =     {{The MyYapDB Deductive Database System}},
  booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)},
  pages =     {710--713},
  number =    {3229},
  series =    {LNAI},
  publisher = {Springer},
  editor =    {J. Alferes and J. Leite},
  month =     {September},
  year =      {2004},
  address =   {Lisbon, Portugal},

Download Paper

PDF file