• Publications
  • Influence
Elements of Finite Model Theory
  • L. Libkin
  • Computer Science
  • Texts in Theoretical Computer Science
  • 2004
Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
  • 818
  • 64
  • PDF
A normal form for XML documents
TLDR
This paper takes a first step towards the design and normalization theory for XML documents. Expand
  • 205
  • 41
A normal form for XML documents
TLDR
This article takes a first step towards the design and normalization theory for XML documents. Expand
  • 242
  • 24
  • PDF
XML data exchange: consistency and query answering
TLDR
We start looking into the basic properties of XML data exchange, that is, restructuring of XML documents that conform to a source DTD under a target DTD, and answering queries written over the target schema. Expand
  • 222
  • 24
  • PDF
Cypher: An Evolving Query Language for Property Graphs
TLDR
The Cypher property graph query language is an evolving language, originally designed and implemented as part of Neo4j graph database, and it is currently used by several commercial database products and researchers. Expand
  • 140
  • 21
  • PDF
Data exchange and incomplete information
  • L. Libkin
  • Mathematics, Computer Science
  • PODS '06
  • 26 June 2006
TLDR
In this paper I explain that this behavior is due to the fact that the presence of incomplete information in target instances has been ignored; in particular, proper query evaluation techniques for databases with nulls have not been used, and the distinction between closed and open world semantics has not been made. Expand
  • 130
  • 16
  • PDF
Finite Model Theory and Its Applications
TLDR
Unifying Themes in Finite Model Theory.- On the Expressive Power of Logics on Finite Models. Expand
  • 179
  • 15
  • PDF
An information-theoretic approach to normal forms for relational and XML data
TLDR
We define a measure of information content of elements in a database with respect to a set of constraints, and provide information-theoretic justification for familiar normal forms such as BCNF, 4NF, PJ/NF, 5NFR. Expand
  • 108
  • 15
  • PDF
On XML integrity constraints in the presence of DTDs
TLDR
The paper investigates XML document specifications with DTDs and integrity constraints, such as keys and foreign keys. Expand
  • 241
  • 14
  • PDF
Incremental maintenance of views with duplicates
TLDR
We study the problem of efficient maintenance of materialized views that may contain duplicates. Expand
  • 233
  • 12
  • PDF
...
1
2
3
4
5
...