The Expressiveness of a Family of Finite Set Languages (1991)

by Neil Immerman , Sushant Patnaik , David Stemple
Venue:IN PROCEEDINGS OF 10TH ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
Citations:26 - 3 self

Active Bibliography

17 A Query Language for NC – Dan Suciu, Val Tannen - 1994
12 Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) – Gerd G. Hillebrand, Paris C. Kanellakis - 1994
20 Finite-Model Theory - A Personal Perspective – Ronald Fagin - 1993
37 Fixpoint Logics, Relational Machines, and Computational Complexity – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1993
4 Rule-Based Languages – Victor Vianu - 1997
3 Computing on Structures – Serge Abiteboul, Victor Vianu
6 Databases and Finite-Model Theory – Victor Vianu - 1997
36 Feasible Computation through Model Theory – Anuj Dawar - 1993
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
2 Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs – Martin Grohe - 2009
1 On bulk data type constructors and manipulation primitives - a framework for analyzing expressive power and complexity – Richard Hull, Jianwen Su - 1989
23 Constraint Databases: A Survey – Peter Z. Revesz - 1998
5 The Complexity of the Evaluation of Complex Algebra Expressions – Dan Suciu, Jan Paredaens - 1997
39 Querying Nested Collections – Limsoon Wong - 1994
56 Infinitary Logic and Inductive Definability over Finite Structures – Anuj Dawar, Steven Lindell, Scott Weinstein - 1995
52 Computing With First-Order Logic – Serge Abiteboul, Victor Vianu - 1995
4 Functional Programming Formalisms for OODB Methods – Gerd Hillebrand , Paris Kanellakis, Sridhar Ramaswamy - 1993
9 Computing with Infinitary Logic – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1995
44 On the expressive power of database queries with intermediate types – Richard Hull, Jianwen Su - 1991