Leonid Libkin | Academic Influence

Leonid Libkin's AcademicInfluence.com Rankings

Leonid Libkin

Computer Science

#2575

World Rank

#2690

Historical Rank

#1112

USA Rank

Database

#1639

World Rank

#1719

Historical Rank

#422

USA Rank

computer-science Degrees

Download Badge

Computer Science

Leonid Libkin's Degrees

PhD Computer Science University of Pennsylvania
Masters Mathematics Moscow State University
Bachelors Mathematics Moscow State University

Similar Degrees You Can Earn

Why Is Leonid Libkin Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science. Libkin is a professor at the University of Edinburgh, where he is chair of Foundations of Data Management in the School of Informatics, He previously worked at Bell Labs, at the University of Toronto, and at the École Normale Supérieure in Paris.

(See a Problem?)

Leonid Libkin's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Elements of Finite Model Theory (2004) (948)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series) (2004) (404)
A normal form for XML documents (2004) (320)
Cypher: An Evolving Query Language for Property Graphs (2018) (306)
Incremental maintenance of views with duplicates (1995) (288)
XML data exchange: consistency and query answering (2005) (258)
Algorithms for deferred view maintenance (1996) (247)
On XML integrity constraints in the presence of DTDs (2001) (240)
Comprehension syntax (1994) (238)
Finite Model Theory and Its Applications (2007) (202)
Constraint Databases (2010) (153)
Expressive languages for path queries over graph-structured data (2010) (151)
A query language for multidimensional arrays: design, implementation, and optimization techniques (1996) (148)
Data exchange and incomplete information (2006) (129)
A normal form for XML documents (2002) (128)
Query Languages for Bags and Aggregate Functions (1997) (126)
First-Order and Temporal Logics for Nested Words (2007) (123)
Reasoning About Pattern-Based XML Queries (2013) (119)
Foundations of Data Exchange (2014) (108)
An information-theoretic approach to normal forms for relational and XML data (2003) (107)
Logics for Unranked Trees: An Overview (2005) (103)
Locally consistent transformations and query answering in data exchange (2004) (101)
Relational and XML Data Exchange (2010) (95)
Functional Dependencies in Relational Databases: A Lattice Point of View (1992) (92)
Relational expressive power of constraint query languages (1996) (89)
Database Theory - Icdt 2005 (2008) (86)
Regular path queries on graphs with data (2012) (84)
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) (2005) (83)
Querying graph databases with XPath (2013) (81)
Expressive power of SQL (2001) (80)
SQL’s Three-Valued Logic and Certain Answers (2016) (79)
Efficient incremental validation of XML documents (2004) (77)
Logics with aggregate operators (1999) (74)
Some Properties of Query Languages for Bags (1993) (72)
Querying graph patterns (2011) (70)
Semantic representations and query languages for or-sets (1993) (69)
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies (1990) (67)
Data exchange and schema mappings in open and closed worlds (2008) (67)
On verifying consistency of XML specifications (2002) (67)
Data Wrangling for Big Data: Challenges and Opportunities (2016) (66)
Relational expressive power of constraint query languages (1998) (66)
Expressive Languages for Path Queries over Graph-Structured Data (2012) (64)
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions (1997) (63)
XML schema mappings (2009) (63)
On scale independence for querying big data (2014) (60)
Definable relations and first-order query languages over strings (2003) (59)
Notions of locality and their logical characterizations over finite models (1999) (59)
On XML integrity constraints in the presence of DTDs (2002) (58)
New techniques for studying set languages, bag languages and aggregate functions (1994) (58)
Trial for RDF: adapting graph query languages for RDF data (2013) (55)
Reasoning about XML with temporal logics and automata (2008) (54)
On the Complexity of Verifying Consistency of XML Specifications (2008) (53)
What's Hard about XML Schema Constraints? (2002) (53)
XML with incomplete information (2010) (52)
Certain answers as objects and knowledge (2014) (52)
Incomplete data: what went wrong, and how to fix it (2014) (51)
Temporal logics over unranked trees (2005) (50)
Safe constraint queries (1998) (49)
Aspects of partial information in databases (1995) (48)
On the structure of queries in constraint query languages (1996) (47)
Querying Regular Graph Patterns (2014) (45)
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study (2016) (45)
Local properties of query languages (1997) (44)
The VADA Architecture for Cost-Effective Data Wrangling (2017) (44)
Regular expressions for data words (2012) (44)
Graph Logics with Rational Relations (2013) (43)
Languages for relational databases over interpreted structures (1997) (42)
Maintaining Transitive Closure of Graphs in SQL (1999) (41)
Incomplete information and certain answers in general data models (2011) (40)
A Formal Semantics of SQL Queries, Its Validation, and Applications (2017) (39)
Aggregate Functions, Conservative Extensions, and Linear Orders (1993) (39)
An information-theoretic approach to normal forms for relational and XML data (2005) (39)
Relational queries over interpreted structures (2000) (38)
Query languages for bags: expressive power and complexity (1996) (38)
Logics with counting and local properties (2000) (38)
Verifiable properties of database transactions (1996) (37)
Naïve Evaluation of Queries over Incomplete Databases (2014) (37)
Graph Logics with Rational Relations and the Generalized Intersection Problem (2012) (37)
Efficient approximations of conjunctive queries (2012) (36)
Consistency of XML Specifications (2005) (35)
A Relational Algebra for Complex Objects Based on Partial Information (1991) (35)
Algorithmic metatheorems for decidable LTL model checking over infinite systems (2009) (35)
A Semantics-based Approach to Design of Query Languages for Partial Information (1995) (34)
Certain answers for XML queries (2010) (32)
Conservativity of Nested Relational Calculi with Internal Generic Functions (1994) (30)
Closed world data exchange (2011) (29)
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) (2017) (29)
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (2015) (29)
Reachability and connectivity queries in constraint databases (2000) (28)
On the forms of locality over finite models (1997) (28)
Normalization Theory for XML (2007) (27)
A model-theoretic approach to regular string relations (2001) (27)
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL (1995) (25)
An Operational Approach to Consistent Query Answering (2018) (25)
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions (1997) (25)
Functional Dependencies and the Semilattice of Closed Classes (1989) (24)
Exact and approximate aggregation in constraint query languages (1999) (23)
Approximation in Databases (1995) (23)
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (2007) (23)
Incremental recomputation in local languages (2003) (23)
Parameterized regular expressions and their languages (2011) (22)
Recurrent Reachability Analysis in Regular Model Checking (2008) (22)
On counting logics and local properties (1998) (22)
An information-theoretic analysis of worst-case redundancy in database design (2010) (22)
On the complexity of query answering over incomplete XML documents (2012) (21)
Containment of pattern-based queries over data trees (2013) (21)
Research Directions for Principles of Data Management (Abridged) (2017) (21)
Direct decompositions of atomistic algebraic lattices (1995) (21)
Efficient reasoning about data trees via integer linear programming (2012) (20)
Decomposition of Domains (1991) (20)
PG-Keys: Keys for Property Graphs (2021) (19)
Embedded Finite Models and Constraint Databases (2007) (19)
On the Satisfiability of Two-Variable Logic over Data Words (2010) (18)
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (2006) (18)
Correctness of SQL Queries on Databases with Nulls (2017) (18)
Foundations of Data Exchange: Preface (2014) (18)
Normal Form Relation Schemes: A New Characterization (1992) (18)
On the Power of Aggregation in Relational Query Languages (1997) (18)
XML with incomplete information: models, properties, and query answering (2009) (17)
Approximations and Refinements of Certain Answers via Many-Valued Logics (2016) (17)
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2002) (17)
On Querying Incomplete Information in Databases under Bag Semantics (2017) (17)
In Search of Elegance in the Theory and Practice of Computation (2013) (17)
TriAL: A Navigational Algebra for RDF Triplestores (2018) (16)
Data context informed data wrangling (2017) (16)
A Direct Translation from XPath to Nondeterministic Automata (2011) (16)
On Representation and Querying Incomplete Information in Databases with Bags (1995) (16)
Normalizing incomplete databases (1995) (15)
On the tradeoff between mapping and querying power in XML data exchange (2010) (15)
Certain Answers Meet Zero-One Laws (2018) (15)
Tractable XML data exchange via relations (2011) (15)
Logics capturing local properties (2000) (14)
Investigations on Armstrong Relations (1990) (14)
Tree extension algebras: logics, automata, and query languages (2002) (14)
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications (1994) (14)
On Relational Database Schemes Having Unique Minimal Key (1991) (13)
Open and Closed World Assumptions in Data Exchange (2009) (13)
Schema Mappings for Data Graphs (2017) (13)
Graph Pattern Matching in GQL and SQL/PGQ (2021) (13)
How to Define Certain Answers (2015) (13)
Propositional and Predicate Logics of Incomplete Information (2021) (13)
Combining Temporal Logics for Querying XML Documents (2007) (13)
Lower bounds for invariant queries in logics with counting (2002) (13)
Logical definability and query languages over ranked and unranked trees (2007) (13)
Query Languages for Bags (1993) (13)
XML Schema Mappings (2014) (12)
String operations in query languages (2001) (12)
Variable independence for first-order definable constraints (2003) (12)
XML design for relational storage (2007) (12)
The finite model theory toolbox of a database theoretician (2009) (12)
An elementary proof that upper and lower powerdomain constructions commute (1992) (12)
Direct product decompositions of lattices, closures and relation schemes (1993) (12)
When is naive evaluation possible? (2013) (12)
Expressive Power: The Finite Case (2000) (12)
Synchronizing Relations on Words (2015) (12)
Updating Graph Databases with Cypher (2019) (12)
On the Power of Incremental Evaluation in SQL-Like Languages (1999) (11)
Counting and Locality over Finite Structures: A Survey (1997) (11)
Aggregate Operators in Constraint Query Languages (2002) (11)
Coping with Incomplete Data: Recent Advances (2020) (11)
n-distributivity, dimension and Carathéodory's theorem (1995) (11)
Algebraic Characterization of Edible Powerdomains (1993) (10)
Logical definability and query languages over unranked trees (2003) (10)
Formal Semantics of the Language Cypher (2018) (10)
Variable Independence, Quantifier Elimination, and Constraint Representations (2000) (10)
Absolutely determined matrices (1990) (9)
Some remarks on variable independence, closure, and orthographic dimension in constraint databases (1999) (9)
Unary Quantifiers, Transitive Closure, and Relations of Large Degree (1998) (9)
On the Interaction Between Closure Operations and Choice Functions with Applications to Relational Database (1992) (9)
Trees as semilattices (1995) (9)
On the Codd Semantics of SQL Nulls (2017) (9)
Semantic Representations and Query Labguages for Or-Sets (1996) (8)
Research Directions for Principles of Data Management (2018) (8)
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary (2015) (8)
Game-based notions of locality over finite models (2004) (8)
The lattice of subsemilattices of a semilattice (1994) (8)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) (2015) (7)
On the aggregation problem for synthesized web services (2010) (7)
Tractable Iteration Mechanisms for Bag Languages (1997) (7)
Queries with Arithmetic on Incomplete Databases (2020) (6)
Regular Expressions with Binding over Data Words for Querying Graph Databases (2013) (6)
Logics with counting, auxiliary relations, and lower bounds for invariant queries (1999) (6)
Proceedings of the 10th international conference on Database Theory (2005) (6)
When is Na¨ıve Evaluation Possible? (2013) (6)
Negative Knowledge for Certain Query Answers (2016) (6)
22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings (2007) (6)
Locality of Queries and Transformations (2005) (5)
Event Stream Processing (2009) (5)
Monadic Second-Order Logic and Automata (2004) (5)
A collapse result for constraint queries over structures of small degree (2003) (5)
Models of Approximation in Databases (1998) (5)
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (2019) (5)
Pattern logics and auxiliary relations (2014) (5)
eXtensible Stylesheet Language Transformations (2009) (5)
TriAL (2018) (4)
On the orthographic dimension of definable sets (2001) (4)
Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling (2019) (4)
Explainable Certain Answers (2018) (4)
Troubles with Nulls, Views from the Users (2022) (4)
Disjoint pattern matching and implication in strings (2010) (3)
Finite Satisfiability of Keys and Foreign Keys for XML Data (2000) (3)
Parallel axiom in convexity lattices (1992) (3)
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011 (2011) (3)
Efficient reasoning about data trees via integer linear programming (2011) (3)
Solutions and query rewriting in data exchange (2013) (3)
Measuring the Likelihood of Numerical Constraints (2019) (3)
On Incomplete XML Documents with Integrity Constraints (2010) (2)
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 (2009) (2)
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China (2007) (2)
Property graphs and paths in GQL: Mathematical definitions (2021) (2)
Query Language Primitives for Programming with Incomplete Databases (1995) (2)
Query languages with arithmetic and constraint databases (1999) (2)
Knowledge-Preserving Certain Answers for SQL-like Queries (2020) (2)
On Low Treewidth Approximations of Conjunctive Queries (2012) (2)
PG-Schema: Schemas for Property Graphs (2022) (2)
PODS 2010: PROCEEDINGS OF THE TWENTY-NINTH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (2010) (2)
Logics with Counting (2004) (2)
When is Na¨õve Evaluation Possible? (2013) (2)
Order-Invariant Types and Their Applications (2016) (2)
A Bounded Degree Property and Finite-Cofiniteness of Graph Queries (1993) (2)
Aggregate Languages for Constraint Databases (2000) (2)
Handling SQL Nulls with Two-Valued Logic (2020) (1)
Fundamentals of Evaluating Partnerships (2009) (1)
On the Orthographic Dimension of De nable SetsStavros CosmadakisUniversity of Patras (2009) (1)
A remark about algebraicity in complete partial orders (1993) (1)
Technical Perspective: Data distribution for fast joins (2017) (1)
Introduction to the PODS 2007 special section (2008) (1)
Query Safety with Constraints (2000) (1)
Quasilinear Monotone Systems (2003) (1)
Topics in DB: Foundations of XML (CSC2538) XPath Query Containment (2005) (1)
Edinburgh Research Explorer An Operational Approach to Consistent Query Answering (2017) (1)
Introduction to special ICDT section (2006) (1)
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings (2013) (1)
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary (2014) (1)
Embedded Finite Models (2006) (1)
Synchronizing Relations on Words (2014) (1)
Edinburgh Research Explorer On the Codd Semantics of SQL Nulls (2017) (1)
Exact and Approximate Aggregation in Constraint Query. (1999) (1)
Graph Path Navigation (2019) (1)
Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071) (2013) (1)
Explorer Tractable XML data exchange via relations (2012) (1)
Fixed Point Logics and Complexity Classes (2004) (1)
Explorer TriAL : A navigational algebra for RDF triplestores (2017) (1)
Online Appendix to A Normal Form for XML Documents (2004) (1)
Explorer Combining Temporal Logics for Querying XML Documents (2006) (0)
Research Highlights: Bridging Theory and Practice with Query Log Analysis (2019) (0)
Reasoning about Measures of Unmeasurable Sets (2020) (0)
Topics in DB: Foundations of XML Lecture 4 (2005) (0)
Edinburgh Research Explorer Certain Answers as Objects and Knowledge (2015) (0)
Reachability in Constraint Databases and Model Checking for Hybrid Systems (2000) (0)
20th workshop on logic, language, information and computation - WoLLIC 2013 (2017) (0)
GPC: A Pattern Calculus for Property Graphs (2022) (0)
Event Connection (2009) (0)
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting (2022) (0)
Foundations of Data Exchange: Patterns and mappings (2014) (0)
Manifesto from Dagstuhl Perspectives Workshop 16151 Research Directions for Principles of Data Management (2018) (0)
Answering tuple queries (2013) (0)
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings (2005) (0)
An Operational Approach to ConsistentQuery Answering (2018) (0)
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award (2017) (0)
A semantics-based approach to design of query languages for partial informat ion MS-CIS-94-38 LOGIC & COMPUTATION 84 (2014) (0)
Aggregate Functions, Conservative Extension, and Linear Orders and Then Taking Their Big Union. Hence (2009) (0)
Explorer Measuring the likelihood of numerical constraints (2019) (0)
Regular languages for data words (2014) (0)
Edinburgh Research Explorer Regular expressions for data words (2015) (0)
Liveness Analysis over Automatic Transition Systems (2009) (0)
Existence of solutions (2013) (0)
Explorer Efficient Approximations of Conjunctive Queries (2015) (0)
Query Languages for BagsExpressive Power and Complexity 1 St ephane (2007) (0)
Do We Need Many-valued Logics for Incomplete Information? (2019) (0)
Foundations of XML ( CSC 2538 ) Lecture 3 Prof (0)
Session details: Best Newcomer Award & Invited Tutorial 1 (2008) (0)
Explorer Solutions and query rewriting in data exchange (2016) (0)
Foundations of Data Exchange: XML data exchange via relations (2014) (0)
Foundations of Data Exchange: Endnotes to Part Four (2014) (0)
Consistency of schema mappings (2013) (0)
Explorer Synchronizing Relations on Words (2014) (0)
Edinburgh Research Explorer Locality of Queries and Transformations (2005) (0)
Explorer Querying Graphs with Data (2015) (0)
Session details: Database principles (2009) (0)
Edinburgh Research Explorer Schema Mappings for Data Graphs (2018) (0)
Chair Vice-Chair Secretary/Treasurer (2005) (0)
Foundations of Data Exchange: The problem of relational data exchange (2014) (0)
Technical Perspective: Data Distribution for Fast Joins (2016) (0)
Edinburgh Research Explorer Querying Graphs with Data (2015) (0)
Finite Variable Logics (2004) (0)
Edinburgh Research Explorer A Calculus of Chemical Systems (2012) (0)
Acknowledgements. We Thank Moshe Vardi for Suggesting the Extension from Corollary20. Relational Queries in Nrc (1997) (0)
Endnotes to Part Three (2013) (0)
Languages for Bags (2014) (0)
A Researcher's Digest of GQL (Invited Talk) (2023) (0)
What is metadata management (2013) (0)
EXTENDING QUERY LANGUAGES FOR RELATIONAL AND XML DATA EXCHANGE (2008) (0)
Edinburgh Research Explorer Measuring the likelihood of numerical constraints (2019) (0)
Locality and Winning Games (2004) (0)
Explorer Locality of Queries and Transformations (2005) (0)
Edinburgh Research Explorer Order-Invariant Types and their Applications (2016) (0)
XML-to-XML queries (2013) (0)
Foundations of Data Exchange: Data exchange by example (2014) (0)
n-distributivity , dimension and CarathBodory ' s theorem MS-CIS-92-71 LOGIC & COMPUTATION 51 (2014) (0)
Complexity of First-Order Logic (2004) (0)
Expressive Power of Query Languages (2009) (0)
Database Principles Column - Introduction (1999) (0)
SQL's Handling of Nulls: Can It Be Fixed? (2015) (0)
Edinburgh Research Explorer Graph Logics with Rational Relations (2013) (0)
WG 3 YTZ-030 r 1 / DM 32 . 2-2018-00086 r 1 Summary Chart of Cypher , PGQL , and G-Core Title Summary (0)
Turing Machines and Finite Models (2004) (0)
Approximating Certainty in Querying Data and Metadata Cristina Civili and (2018) (0)
Principles of Data Management (Abridged) (2017) (0)
Query answering and rewriting (2013) (0)
2.3 Impossibility Results for Distributed Agreement 3 Sources of Programming Structures and Their Description 2 Three Examples of Programming Structure the Analysis of Programming Structure (1997) (0)
Database models and closure operators (1991) (0)
Preface (2007) (0)
The problem of XML data exchange (2013) (0)
EFFICIENT APPROXIMATIONS OF CONJUNCTIVE (2014) (0)
ER Model (2009) (0)
Tractable XML data exchange via relations (2012) (0)
What you can and cannot say in SQL or proving folk theorems in database theory (1999) (0)
15th International Conference on Principles of Knowledge Representation and Reasoning (KR2016) (2016) (0)
Edinburgh Research Explorer Tractable XML data exchange via relations (2017) (0)
ETL Process (2009) (0)
Eﬃcient Reasoning about Data Trees via Integer Linear Programming (2017) (0)
Inverting schema mappings (2013) (0)
Data exchange: key definitions (2013) (0)
Selected Papers from a Workshop on Semantics in Databases (1998) (0)
Querying Incomplete Numerical Data: Between Certain and Possible Answers (2022) (0)
Handling of by-effect caused by transaction in data base system (1996) (0)
Edinburgh Research Explorer Closed world data exchange (2011) (0)
Interfacing HOL90 with a Functional Database Query Language (1995) (0)
Introduction to PODS 2007 special section (2009) (0)
Structural characterizations of schema mapping (2013) (0)
Approximating Certainty in Querying Data and Metadata (2018) (0)
How Standard is the SQL Standard? (2018) (0)
Other Applications of Finite Model Theory (2004) (0)
Endnotes to Part Two (2013) (0)
Static Analysis and Query Answering for Incomplete Data Trees with Constraints (2013) (0)
In Fig. 2. Canonical K-bushy Tree (0)

This paper list is powered by the following services:

Other Resources About Leonid Libkin

en.wikipedia.org

What Schools Are Affiliated With Leonid Libkin?

Leonid Libkin is affiliated with the following schools: