The MYDDAS Project: Using a Deductive Database for Traffic Characterization
The MYDDAS project (Mysql/Yap Deductive DAtabase System) is developing a deductive database system by coupling Yap Prolog with MySQL. Although this coupling approach between a logic system and a relational database management system has been quite explored, 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, 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 of Yap in the concurrent evaluation of database goals.
Unable to display preview. Download preview PDF.
- 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.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
- 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