YADI_2013_TEAM2

YADI-另一个数据记录解释器 什么是YADI？ 另一个数据日志解释器（YADI）是一种工具，可将数据日志查询转换为返回一组元组SQL语句 针对{R（A，B），S（B，C，D）}数据库的数据记录查询如下所示： V(x,y) :- R(x,y) and S(y,_,_). Q(x,y) :- S(x,y,z) and V(z,t) and t>=3. ?- Q(x,y). 前两行定义idb谓词，第三行提供实际查询，即结果集的idb。 尽管具有多种规则形式，但上述Datalog查询是一个联合查询，可以转换为以下SQL语句： SELECT S2.B, S2.C FROM R, S S1, S S2 WHERE R.B=S1.B AND R.A=S2.D AND S1.B>=3 该项目的目的是建立一个用户友好的界面，允许用户定义谓词和输入查询。 查询将被评估，结果将显示在界面上。