The MyYapDB Deductive Database System

  • Michel Ferreira
  • Ricardo Rocha
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3229)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Beeri, C., Ramakrishnan, R.: On the Power of Magic. In: ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (1987)Google Scholar
  2. 2.
    Draxler, C.: Accessing Relational and Higher Databases Through Database Set Predicates. PhD thesis, Zurich University (1991) Google Scholar
  3. 3.
    Ferreira, M., Rocha, R., Silva, S.: Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases. In: Colloquium on Implementation of Constraint and LOgic Programming Systems (2004) (to appear)Google Scholar
  4. 4.
    Gallaire, H., Minker, J. (eds.): Logic and Databases. Plenum (1978)Google Scholar
  5. 5.
    Michie, D.: Memo Functions and Machine Learning. Nature 218, 19–22 (1968)CrossRefGoogle Scholar
  6. 6.
    Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan-Kaufmanm, San Francisco (1987)Google Scholar
  7. 7.
    Rocha, R., Silva, F., Santos Costa, V.: On a tabling engine that can exploit or-parallelism. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 43–58. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: ACM SIGMOD International Conference on the Management of Data, pp. 442–453. ACM Press, New York (1994)Google Scholar
  9. 9.
    Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Michel Ferreira
    • 1
  • Ricardo Rocha
    • 1
  1. 1.DCC-FC & LIACCUniversity of PortoPortoPortugal

Personalised recommendations