Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) (1994)

Cached

Download Links

by Gerd G. Hillebrand , Paris C. Kanellakis
Venue:In Proceedings 13th PODS
Citations:12 - 5 self

Active Bibliography

25 Database Query Languages Embedded in the Typed Lambda Calculus – Gerd Hillebrand , Paris C. Kanellakis, Harry G. Mairson - 1993
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
5 An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction – Paris Kanellakis, Gerd Hillebrand, Harry Mairson - 1994
6 On the expressive power of simply typed and let-polymorphic lambda calculi – Gerd Hillebrand, Paris Kanellakis - 1996
4 Functional Programming Formalisms for OODB Methods – Gerd Hillebrand , Paris Kanellakis, Sridhar Ramaswamy - 1993
16 A Query Language for NC – Dan Suciu, Val Tannen - 1994
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
26 The Expressiveness of a Family of Finite Set Languages – Neil Immerman, Sushant Patnaik, David Stemple - 1991
9 Tailoring Recursion for Complexity – Erich Grädel, Yuri Gurevich - 1995
3 Computing on Structures – Serge Abiteboul, Victor Vianu
36 Feasible Computation through Model Theory – Anuj Dawar - 1993
24 Sequences, Datalog and Transducers – Anthony J. Bonner , Giansalvatore Mecca - 1996
2 On the Expressive Power of Logics on Finite Models – Phokion G. Kolaitis - 2003
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
4 Finite Query Languages for Sequence Databases – Giansalvatore Mecca, Universit'a Di Roma "la Sapienza, Anthony J. Bonner - 1995
32 Bounded Fixpoints for Complex Objects – Dan Suciu - 1997
36 Fixpoint Logics, Relational Machines, and Computational Complexity – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1993
19 Higher Order Logic – Daniel Leivant - 1994
1 Finite Models and Finitely Many Variables – Anuj Dawar, Abstract We Consider L - 1999