Publications

11 results for Stavros S. Cosmadakis

On datalog vs polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1995
- Journal of Computer and System Sciences
Logical reducibility and monadic NP
- - Stavros S. Cosmadakis
- 1993
- FOCS 1993
On Datalog vs. polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1991
- SIGMOD/PODS/ 1991
Completeness for typed lazy inequalities
- - Stavros S. Cosmadakis
  - Albert R. Meyer
  - et al.
- 1990
- LICS 1990
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1990
- Journal of the ACM
Computing with recursive types
- - Stavros S. Cosmadakis
- 1989
- LICS 1989
Expressiveness of restricted recursive queries
- - Foto Afrati
  - Stavros S. Cosmadakis
- 1989
- STOC 1989
On the first-order expressibility of recursive queries
- - Stavros S. Cosmadakis
- 1989
- SIGMOD/PODS/ 1989
Decidable optimization problems for database logic programs
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1988
- STOC 1988
The word and generator problems for lattices
- - Stavros S. Cosmadakis
- 1988
- Information and Computation