Leonid Libkin
Leonid Libkin
Professor of Computer Science, University of Edinburgh
Geverifieerd e-mailadres voor inf.ed.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Elements of finite model theory
L Libkin
Springer Science & Business Media, 2013
10942013
A normal form for XML documents
M Arenas, L Libkin
ACM Transactions on Database Systems (TODS) 29 (1), 195-232, 2004
5762004
Incremental maintenance of views with duplicates
T Griffin, L Libkin
Proceedings of the 1995 ACM SIGMOD international conference on Management of …, 1995
3911995
On XML integrity constraints in the presence of DTDs
W Fan, L Libkin
Journal of the ACM (JACM) 49 (3), 368-406, 2002
3562002
Constraint databases
G Kuper, L Libkin, J Paredaens
Springer Science & Business Media, 2013
3152013
Algorithms for deferred view maintenance
LS Colby, T Griffin, L Libkin, IS Mumick, H Trickey
Proceedings of the 1996 ACM SIGMOD international conference on Management of …, 1996
3101996
Comprehension syntax
P Buneman, L Libkin, D Suciu, V Tannen, L Wong
ACM Sigmod Record 23 (1), 87-96, 1994
3001994
XML data exchange: consistency and query answering
M Arenas, L Libkin
Journal of the ACM (JACM) 55 (2), 1-72, 2008
2642008
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer Science & Business Media, 2007
2232007
Expressive languages for path queries over graph-structured data
P Barceló, L Libkin, AW Lin, PT Wood
ACM Transactions on Database Systems (TODS) 37 (4), 1-46, 2012
1872012
Relational expressive power of constraint query languages
M Benedikt, G Dong, L Libkin, L Wong
Journal of the ACM (JACM) 45 (1), 1-34, 1998
1681998
An information-theoretic approach to normal forms for relational and XML data
M Arenas, L Libkin
Journal of the ACM (JACM) 52 (2), 246-283, 2005
1672005
A query language for multidimensional arrays: design, implementation, and optimization techniques
L Libkin, R Machlin, L Wong
ACM SIGMOD Record 25 (2), 228-239, 1996
1611996
Query languages for bags and aggregate functions
L Libkin, L Wong
Journal of Computer and System sciences 55 (2), 241-272, 1997
1581997
Data exchange and incomplete information
L Libkin
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
1212006
Logics for unranked trees: An overview
L Libkin
International Colloquium on Automata, Languages, and Programming, 35-50, 2005
1202005
Cypher: An evolving query language for property graphs
N Francis, A Green, P Guagliardo, L Libkin, T Lindaaker, V Marsault, ...
Proceedings of the 2018 International Conference on Management of Data, 1433 …, 2018
1172018
Querying regular graph patterns
P Barceló, L Libkin, JL Reutter
Journal of the ACM (JACM) 61 (1), 1-54, 2014
110*2014
Efficient incremental validation of XML documents
D Barbosa, AO Mendelzon, L Libkin, L Mignet, M Arenas
Proceedings. 20th International Conference on Data Engineering, 671-682, 2004
1092004
Functional dependencies in relational databases: a lattice point of view
J Demetrovics, L Libkin, IB Muchnik
Discrete Applied Mathematics 40 (2), 155-185, 1992
1081992
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20