Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1990
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
11 results for Stavros S. Cosmadakis
Parallel Evaluation of Recursive Rule Queries
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- 1986
- SIGMOD/PODS 1986
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
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
On datalog vs polynomial time
- Foto Afrati
- Stavros S. Cosmadakis
- et al.
- 1995
- Journal of Computer and System Sciences