مرکز منطقه ای اطلاع رساني علوم و فناوري - Incremental recomputation in local languages

Title of article :

Incremental recomputation in local languages

Author/Authors :

Guozhu Dong، نويسنده , , Leonid Libkin، نويسنده , , Limsoon Wong، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

From page :

To page :

Keywords :

First-order logic , Incremental recomputation , Locality , Transitive closure , SQL

Journal title :

Information and Computation

Serial Year :

2003

Journal title :

Information and Computation

Record number :

262126

Link To Document :