BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Spain
13 × USA
Collaborated with:
P.C.Kanellakis F.N.Afrati C.H.Papadimitriou M.Yannakakis M.Y.Vardi A.R.Meyer J.G.Riecke N.Spyratos H.Gaifman
Talks about:
recurs (5) queri (5) databas (3) theori (3) relat (3) type (3) polynomi (2) problem (2) express (2) complex (2)

Person: Stavros S. Cosmadakis

DBLP DBLP: Cosmadakis:Stavros_S=

Contributed to:

PODS 19991999
LFP 19941994
PODS 19911991
LICS 19901990
LICS 19891989
PODS 19891989
STOC 19891989
STOC 19881988
PODS 19861986
PODS 19851985
RTA 19851985
STOC 19851985
PODS 19841984
ICALP 19831983
PODS 19831983
STOC 19831983

Wrote 17 papers:

PODS-1999-Cosmadakis #complexity #query #recursion
Inherent Complexity of Recursive Queries (SSC), pp. 148–154.
LFP-1994-Cosmadakis #algebra #proving
Complete Proof Systems for Algebraic Simply-Typed Terms (SSC), pp. 220–226.
PODS-1991-AfratiCY #datalog #on the #polynomial
On Datalog vs. Polynomial Time (FNA, SSC, MY), pp. 13–25.
LICS-1990-CosmadakisMR #lazy evaluation
Completeness for typed lazy inequalities (SSC, ARM, JGR), pp. 312–320.
LICS-1989-Cosmadakis #recursion
Computing with Recursive Types (SSC), pp. 24–38.
PODS-1989-Cosmadakis #first-order #on the #query #recursion
On the First-Order Expressibility of Recursive Queries (SSC), pp. 311–323.
STOC-1989-AfratiC #query #recursion #strict
Expressiveness of Restricted Recursive Queries (FNA, SSC), pp. 113–126.
STOC-1988-CosmadakisGKV #database #decidability #logic programming #optimisation #problem #source code
Decidable Optimization Problems for Database Logic Programs (SSC, HG, PCK, MYV), pp. 477–490.
PODS-1986-CosmadakisK #evaluation #parallel #query #recursion
Parallel Evaluation of Recursive Rule Queries (SSC, PCK), pp. 280–293.
PODS-1985-CosmadakisKS #semantics
Partition Semantics for Relations (SSC, PCK, NS), pp. 261–275.
RTA-1985-CosmadakisK #database #equation
Two Applications of Equational Theories to Database Theory (SSC, PCK), pp. 107–123.
STOC-1985-CosmadakisK #constraints #database #equation
Equational Theories and Database Constraints (SSC, PCK), pp. 273–284.
PODS-1984-CosmadakisK #approach #dependence #functional #graph
Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.
ICALP-1983-YannakakisKCP #clustering #graph
Cutting and Partitioning a Graph aifter a Fixed Pattern (MY, PCK, SSC, CHP), pp. 712–722.
PODS-1983-Cosmadakis #complexity #query #relational
The Complexity of Evaluating Relational Queries (SSC), pp. 149–155.
PODS-1983-Cosmadakis83a #relational
Updates of Relational Views (SSC, CHP), pp. 317–331.
STOC-1983-KanellakisCV #dependence #polynomial #problem
Unary Inclusion Dependencies have Polynomial Time Inference Problems (PCK, SSC, MYV), pp. 264–277.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.