テーブルベースの宣言型リアクティブプログラミング

Question

テーブルベースのリアクティブ宣言型プログラミングをサポートするプログラミング言語またはパッケージが、SQL言語およびトリガ機能とよく似ていますか？だから、基本的に、私はテーブルの計算列を持っていると思い

childcount: PERSON -> INTEGER 
childcount(P) = |{ Q in PERSON : father(Q) = P or mather(Q) = P }| 

income: PERSON -> INTEGER 
income(P) = SUM { salary(J) : J in JOB and empoyee(J) = P } 

incomeperchild: PERSON -> INTEGER 
incomeperchild(P) = income(P)/childcount(P) 

parent: PERSON x PERSON -> BOOLEAN 
person(P,Q) = (P = father(Q)) or (P = mother(Q)) 

error: PERSON -> BOOLEAN 
error(P) = (female(P) and (exists Q in PERSON)(father(Q) = P)) 
    or (not female(P) and (exists Q in PERSON)(mother(Q) = P)) 
    or (exists Q in PERSON)(parent(P,Q) and error(Q)) 

：

name: PERSON -> STRING 
female: PERSON -> BOOLEAN 
mother: PERSON -> PEOPLE 
father: PERSON -> PEOPLE 

title: JOB -> STRING 
company: JOB -> STRING 
salary: JOB -> INTEGER 
empoyee: JOB -> PERSON 

を機能として

例えば、私はその後、私は同じような機能を計算したいPERSONとJOBテーブルを定義することができますテーブルの値が変更されるたびに自動的に更新されます。同様のことをSQLトリガーで表現することもできますが、そのような機能を言語に組み込み、メモリ内で実行したいと考えています。変化の伝播を最適化する必要があります。これを行うためのフレームワークはありますか？

オブザーバーのパターンとリアクティブプログラミングは、個々のオブジェクトに焦点を合わせます。しかし、私はテーブルの各行にポインタと余分な構造を維持したくないので、何百万行もかかる可能性があります。すべてのルールは一般的です（ただし、親子関係を介して異なる行を参照することもできます）ので、何らかの再帰が必要です。これにアプローチする

Answer 1

一つの方法は、属性文法を経由する：http://www.haskell.org/haskellwiki/Attribute_grammar