2015 - Member of Academia Europaea
2012 - Fellow of the Royal Society of Edinburgh
2012 - ACM Fellow For contributions to finite model theory and database theory.
His scientific interests lie mostly in Theoretical computer science, Query language, Information retrieval, XML and XML validation. The concepts of his Theoretical computer science study are interwoven with issues in Set, Graph database, Tuple and Relational database. His Query language study integrates concerns from other disciplines, such as Programming language, SQL, Relational calculus, Transitive closure and Query optimization.
His Information retrieval research integrates issues from Extreme point, Data exchange, Metadata management and Closed-world assumption. His work investigates the relationship between XML and topics such as Data integrity that intersect with problems in Existential quantification and Algorithm. The various areas that he examines in his XML validation study include Document Structure Description and XML Schema Editor.
His primary scientific interests are in Theoretical computer science, Query language, Discrete mathematics, Information retrieval and Programming language. Leonid Libkin has included themes like Graph database, XML and Relational database, Conjunctive query, Relational algebra in his Theoretical computer science study. His XML research incorporates themes from Data integrity and Unary operation.
His work deals with themes such as Query by Example, Transitive closure, RDF query language and Query optimization, which intersect with Query language. His work carried out in the field of Discrete mathematics brings together such families of science as Structure, Bounded function and Combinatorics. His Information retrieval research includes elements of Data exchange, Complete information, Document Structure Description and XML Schema Editor.
Theoretical computer science, SQL, Information retrieval, Programming language and Semantics are his primary areas of study. His study on Regular language is often connected to Perspective as part of broader study in Theoretical computer science. His SQL study combines topics in areas such as Correctness and Null.
His work on Relational database as part of general Information retrieval study is frequently linked to Certainty, Counterintuitive and k-means clustering, bridging the gap between disciplines. His Programming language study frequently draws connections between related disciplines such as Query language. Leonid Libkin interconnects Data modeling, Tuple and Truth value in the investigation of issues within Semantics.
The scientist’s investigation covers issues in Data science, Query language, Big data, Theoretical computer science and SQL. In his work, Regular expression, Named graph, Formal specification and Decidability is strongly intertwined with Graph database, which is a subfield of Query language. His research integrates issues of Domain, XML, Relational database, Data set and XPath in his study of Big data.
His research on Theoretical computer science focuses in particular on Automaton. His SQL study incorporates themes from Correctness, Query by Example, Null and Relational algebra. Leonid Libkin combines subjects such as Programming language, Tuple, Relational calculus, Semantics and Conjunctive query with his study of Relational algebra.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Elements of Finite Model Theory
Leonid Libkin.
(2004)
A normal form for XML documents
Marcelo Arenas;Leonid Libkin.
ACM Transactions on Database Systems (2004)
Incremental maintenance of views with duplicates
Timothy Griffin;Leonid Libkin.
international conference on management of data (1995)
Incremental maintenance of views with duplicates
Timothy Griffin;Leonid Libkin.
international conference on management of data (1995)
On XML integrity constraints in the presence of DTDs
Wenfei Fan;Leonid Libkin.
Journal of the ACM (2002)
Algorithms for deferred view maintenance
Latha S. Colby;Timothy Griffin;Leonid Libkin;Inderpal Singh Mumick.
international conference on management of data (1996)
Constraint Databases
Gabriel Kuper;Leonid Libkin;Jan Paredaens.
(2010)
Comprehension syntax
Peter Buneman;Leonid Libkin;Dan Suciu;Val Tannen.
international conference on management of data (1994)
XML data exchange: Consistency and query answering
Marcelo Arenas;Leonid Libkin.
Journal of the ACM (2008)
Cypher: An Evolving Query Language for Property Graphs
Nadime Francis;Alastair Green;Paolo Guagliardo;Leonid Libkin.
international conference on management of data (2018)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Pontificia Universidad Católica de Chile
National University of Singapore
University of Oxford
University of Edinburgh
University of Cambridge
Wright State University
TU Wien
Hasselt University
University of Manchester
University of California, Santa Cruz
Baidu (China)
Sungkyunkwan University
University of Duisburg-Essen
Wageningen University & Research
University of Massachusetts Medical School
University of Manchester
University of Pennsylvania
University of Florida
Chinese Academy of Sciences
The Ohio State University
University of Ulm
Fred Hutchinson Cancer Research Center
Rutgers, The State University of New Jersey
Cornell University
Oregon State University
Harvard University