Search filters

List of works by Leonid Libkin

Consistency of XML Specifications

Cypher: An Evolving Query Language for Property Graphs

Data context informed data wrangling

Explainable Certain Answers

First-Order and Temporal Logics for Nested Words

GPC: A Pattern Calculus for Property Graphs

scientific article published on 02 June 2023

Incremental recomputation in local languages

scientific article published in March 2003

Lower bounds for invariant queries in logics with counting

scientific article published in October 2002

Making SQL Queries Correct on Incomplete Databases

On XML integrity constraints in the presence of DTDs

On XML integrity constraints in the presence of DTDs

On representation and querying incomplete information in databases with bags

On scale independence for querying big data

scholarly article published 2014

On the Complexity of Verifying Consistency of XML Specifications

On the aggregation problem for synthesized Web services

On the aggregation problem for synthesized web services

On verifying consistency of XML specifications

PG-Schema: Schemas for Property Graphs

scientific article published on 20 June 2023

Querying Incomplete Numerical Data: Between Certain and Possibile Answers

scientific article published on 02 June 2023

Relational expressive power of constraint query languages

scientific article published in January 1998

SQL Nulls and Two-Valued Logic

scientific article published on 02 June 2023

The VADA Architecture for Cost-Effective Data Wrangling

scholarly article published 2017

The finite model theory toolbox of a database theoretician

article

Tractable XML data exchange via relations

What’s Hard about XML Schema Constraints?