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[1]. Although this approach between logic and relational management has been quite explored[5], our tries to go step further in terms of the degree tightness interface architecture two systems. Examples improved integration include representation tuples directly choice-points, transparent support for cuts over EDB predicates; extended use tabling engine Yap[3], ability persistently store table data structure MySQL relations; development automatic view-level transformations using information from existing indexes query optimizer. should also be able explore combination or-parallelism provided OPTYap engine[4] concurrent evaluation goals.