Phokion Kolaitis
Phokion Kolaitis
Distinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM Research
Zweryfikowany adres z ucsc.edu - Strona główna
Cytowane przez
Cytowane przez
Data exchange: semantics and query answering
R Fagin, PG Kolaitis, RJ Miller, L Popa
Theoretical Computer Science 336 (1), 89-124, 2005
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
Data exchange: getting to the core
R Fagin, PG Kolaitis, L Popa
ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005
On the decision problem for two-variable first-order logic
E Grädel, PG Kolaitis, MY Vardi
Bulletin of symbolic logic 3 (1), 53-69, 1997
Composing schema mappings: Second-order dependencies to the rescue
R Fagin, PG Kolaitis, L Popa, WC Tan
ACM Transactions on Database Systems (TODS) 30 (4), 994-1055, 2005
Schema mappings, data exchange, and metadata management
PG Kolaitis
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
Constraint satisfaction, bounded treewidth, and finite-variable logics
V Dalmau, PG Kolaitis, MY Vardi
International Conference on Principles and Practice of Constraint …, 2002
Why not negation by fixpoint?
PG Kolaitis, CH Papadimitriou
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
On the expressive power of Datalog: tools and a case study
PG Kolaitis, MY Vardi
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990
Infinitary logics and 0–1 laws
PG Kolaitis, MY Vardi
Information and computation 98 (2), 258-294, 1992
Repair checking in inconsistent databases: algorithms and complexity
FN Afrati, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 31-41, 2009
Generalized quantifiers and pebble games on finite structures
PG Kolaitis, JA Väänänen
Annals of pure and applied logic 74 (1), 23-75, 1995
On the unusual effectiveness of logic in computer science
JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu
Bulletin of Symbolic Logic 7 (2), 213-236, 2001
Peer data exchange
A Fuxman, PG Kolaitis, RJ Miller, WC Tan
ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006
The connectivity of Boolean satisfiability: computational and structural dichotomies
P Gopalan, PG Kolaitis, E Maneva, CH Papadimitriou
SIAM Journal on Computing 38 (6), 2330-2355, 2009
The expressive power of stratified logic programs
PG Kolaitis
Information and Computation 90 (1), 50-66, 1991
Logical definability of NP optimization problems
PG Kolaitis, MN Thakur
Information and Computation 115 (2), 321-353, 1994
Approximation properties of NP minimization classes
PG Kolaitis, MN Thakur
Journal of Computer and System Sciences 50 (3), 391-411, 1995
Designing and refining schema mappings via data examples
B Alexe, B Ten Cate, PG Kolaitis, WC Tan
Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20