|
Title:
|
COUPLING OPTYAP WITH A DATABASE SYSTEM |
|
Author(s):
|
Michel Ferreira , Ricardo Rocha |
|
ISBN:
|
972-99353-6-X |
|
Editors:
|
Nuno Guimarães and Pedro Isaías |
|
Year:
|
2005 |
|
Edition:
|
2 |
|
Keywords:
|
Deductive Databases, Coupled Systems Implementation, Performance. |
|
Type:
|
Short Paper |
|
First Page:
|
107 |
|
Last Page:
|
114 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Logic programming and relational databases have common foundations based on First Order Logic. By coupling both paradigms, we can combine the efficiency and safety of databases in dealing with large amounts of data with the higher expressive power of logic and, thus, build more powerful systems. In this work, we study and evaluate the impact of coupling OPTYap with the MySQL relational database management system. We use the OPTYap extension of the Yap Prolog 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 detailed description of the implementation and present a performance comparison of using asserted facts or accessing the facts as external relational tuples. Our results show that indexing and view level transformations are fundamental to achieve scalability. |
|
|
|
|
|
|
