Deductive Application Language (DeAL) System
The Deductive Application Language System (DeALS) is a next-generation Datalog system. The objective of the DeALS project is to extend the power of Datalog with advanced constructs with strong theoretical foundations. DeAL supports stratified aggregation, negation and XY-stratification. DeAL also supports new monotonic aggregates that can be used in recursive rules. What's the big DeAL? DeALS exte
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://yellowstone.cs.ucla.edu/~yang/paper/sigmod2016-p958.pdf
