Dyn-FO: A Parallel, Dynamic Complexity Class (1994)

Cached

Download Links

by Sushant Patnaik , Neil Immerman
Venue:Journal of Computer and System Sciences
Citations:50 - 4 self

Documents Related by Co-Citation

40 Incremental and decremental evaluation of transitive closure by first-order queries – G Dong, J Su - 1995
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
14 Arity bounds in first-order incremental evaluation and definition of polynomial time database queries – G Dong, J Su - 1998
230 Languages That Capture Complexity Classes – Neil Immerman - 1987
274 Descriptive Complexity – Neil Immerman - 1998
18 Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions – Leonid Libkin , Limsoon Wong - 1997
278 Maintaining views incrementally – A Gupta, I S Mumick, V S Subrahmanian
164 Incremental Maintenance of Views with Duplicates – Timothy Griffin , et al.
9 On the Power of Incremental Evaluation in SQL-like Languages – Leonid Libkin, Limsoon Wong - 1999
17 Space-Bounded FOIES – G Dong, J Su - 1995
43 Complexity Models for Incremental Computation – Peter Bro Miltersen, Sairam Subramanian, Jeffrey Scott Vitter, Roberto Tamassia - 1994
50 First-Order Incremental Evaluation of Datalog Queries – Guozhu Dong, Guozhu Dong, Jianwen Su, Jianwen Su, Rodney Topor, Rodney Topor - 1993
195 Efficiently Updating Materialized Views – Jose A. Blakeley, Per-Åke Larson, Per- Ake Larson, Frank Wm. Tompa - 1986
13 On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL – Guozhu Dong, Leonid Libkin, Limsoon Wong - 1995
79 Putting static analysis to work for verification: A case study – Tal Lev-ami, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2000
14 Lower Bounds for Constant-Depth Circuits – Jin-yi Cai - 1990
101 One-Unambiguous Regular Languages – Anne Brüggemann-Klein, Derick Wood - 1997
33 Local Properties of Query Languages – Guozhu Dong, Leonid Libkin, Limsoon Wong
15 Deterministic FOIES are strictly weaker – G Dong, J Su - 1997