drools技巧：声明式关系编程

 

声明式关系编程 <o:p></o:p>

作者：Mark Proctor <o:p></o:p>

这篇文章是从我在InfoQ上的评论Debate: ODBMS sometimes a better alternative to O/R Mapping?.（讨论：ODBMS有时是比O/R映射更好的选择）引申而来

面向对象的深层图模型——pojo规范，难以通过声明进行推论，虽然它可以在命令式编程中有良好表现。随着WSC完成描述逻辑的标准化定义OWL-DL（一种面向语义Web的知识表示标记语言,具有较强的知识表达能力并适合大规模应用的推理效率）并将其与声明式推论系统如Drools结合（将在4.0之后增加基于模型的描述逻辑），你已经在应用开发方面有了一种更有力的方式（虽然可能没有框架式/子系统式开发）——不考虑OWL-Full，它是一种演习,并且RDF（资源描述框架）三元组是不合适的, 但可以幸运的被考虑成一种传输机制。声明式关系编程显然有一种更接近于1对1的数据库映射。[译者注：这段话涉及OWL的理论定义，为了更好的理解，请翻阅http://zh.transwiki.org/cn/owlguide.htm]<o:p></o:p>

看一个我们提供的简单示例Conways Game of Life（将很快被更新到规则流，代替agenda group，使其更具有声明性）。在这个例子中，我们有一个巨大的NxN的表格单元对象，之前的方法是对每一格Cell有一个围绕在它周围的Cell的一个HashSet。要计算围绕在周围的死亡/生存单元格的数量，只能通过对每一个cell的HashSet进行命令式的迭代。这将产生重复多余的工作，因为我们不知道那里有/没有变化，我们可以进行跟踪，但是接着会带来更多的用于跟踪的命令式代码。更新的Conways例子将使用关系方法，没有嵌套的对象（虽然仍然没有DL，它在4.0中提供），代替的是我们使用一个Neighbour类对每一个围绕的Cell进行双向的关联；这意味着我们简单的声明想要它对死亡/生存的Cell进行跟踪，系统将根据它对关系的理解以及什么有/没有变化的情况，为我们完成剩下的工作。
http://anonsvn.labs.jboss.com/labs/jbossrules/trunk/drools-examples/src/main/rules/org/drools/examples/conway/conway.drl
rule "Calculate Live"
    agenda-group "calculate"
    lock-on-active
when
    theCell: Cell(cellState == CellState.LIVE)
    Neighbor(cell == theCell, $neighbor : neighbor)
then
    $neighbor.setLiveNeighbors( $neighbor.getLiveNeighbors() + 1 );
    $neighbor.setPhase( Phase.EVALUATE );
    modify( $neighbor );
end

rule "Calculate Dead"
    agenda-group "calculate"
    lock-on-active
when
    theCell: Cell(cellState == CellState.DEAD)
    Neighbor(cell == theCell, $neighbor : neighbor )
then
    $neighbor.setLiveNeighbors( $neighbor.getLiveNeighbors() - 1 );
    $neighbor.setPhase( Phase.EVALUATE );
    modify( $neighbor );
end

我也建议你看一下"register neighbor"规则，你可以了解Neighbour关系怎样被设置声明，开发在Cell中的column与row字段的叉集。<o:p></o:p>

这只是一个使用建议逻辑的简单例子，你可以将这些关系开发的更多，尤其工作在数据集和一阶逻辑中的'collect', 'accumulate' ，'forall'情况时。更多的信息请看What's new in JBoss Rules 4.0，它会在下个月中旬发布。<o:p></o:p>

<o:p> </o:p>

<o:p> </o:p>