The MYDDAS Project: Using a Deductive Database for Traffic Characterization

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


The MYDDAS project (Mysql/Yap Deductive DAtabase System) is developing a deductive database system by coupling Yap Prolog with MySQL[1]. Although this coupling approach between a logic system and a relational database management system has been quite explored[5], our system tries to go a step further in terms of the degree of tightness in the interface architecture between the two systems. Examples of this improved integration include the representation of relational tuples directly in choice-points, with a transparent support for cuts over EDB predicates; the extended use of the tabling engine of Yap[3], with the ability to persistently store the table data structure in MySQL relations; and the development of automatic view-level transformations using information from existing MySQL indexes and MySQL query optimizer. The MYDDAS system should also be able to explore the combination of tabling with or-parallelism provided by the OPTYap engine[4] of Yap in the concurrent evaluation of database goals.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ferreira, M., Rocha, R.: The MyYapDB Deductive Database System. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 710–713. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Fonseca, N., Silva, F., Camacho, R., Costa, V.S.: Induction with April - A preliminary report. Technical Report DCC-2003-02, DCC-FC & LIACC, Universidade do Porto (2003)Google Scholar
  3. 3.
    Rocha, R., Silva, F., Costa, V.S.: YapTab: A Tabling Engine Designed to Support Parallelism. In: Conference on Tabulation in Parsing and Deduction, pp. 77–87 (2000)Google Scholar
  4. 4.
    Rocha, R., Silva, F., Costa, V.S.: 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
  5. 5.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

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

Personalised recommendations