Libkin, Leonid
Overview
Works:  43 works in 148 publications in 2 languages and 2,653 library holdings 

Genres:  Conference papers and proceedings Academic theses 
Roles:  Author, Editor, htt, Other, Contributor 
Classifications:  QA76.9.D3, 005.74 
Publication Timeline
.
Most widely held works by
Leonid Libkin
Database theory : ICDT 2005 : 10th international conference, Edinburgh, UK, January 57, 2005 : proceedings by
Thomas Eiter(
)
23 editions published between 2004 and 2005 in English and held by 572 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Database Theory, ICDT 2005, held in Edinburgh, UK in January 2005. The 24 revised full papers presented together with 3 invited articles were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections on query languages and types, multidimensional data processing, algorithmic aspects, privacy and security, logic and databases, query rewriting, and query processing and data streams
23 editions published between 2004 and 2005 in English and held by 572 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference on Database Theory, ICDT 2005, held in Edinburgh, UK in January 2005. The 24 revised full papers presented together with 3 invited articles were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections on query languages and types, multidimensional data processing, algorithmic aspects, privacy and security, logic and databases, query rewriting, and query processing and data streams
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2023,
2013 : proceedings by
Leonid Libkin(
)
11 editions published in 2013 in English and Undetermined and held by 460 WorldCat member libraries worldwide
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.
11 editions published in 2013 in English and Undetermined and held by 460 WorldCat member libraries worldwide
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.
Semantics in databases by
B Thalheim(
Book
)
18 editions published between 1997 and 1998 in English and Undetermined and held by 418 WorldCat member libraries worldwide
This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; objectorientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics
18 editions published between 1997 and 1998 in English and Undetermined and held by 418 WorldCat member libraries worldwide
This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; objectorientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics
Constraint databases by
Gabriel Kuper(
Book
)
10 editions published between 1998 and 2000 in English and held by 273 WorldCat member libraries worldwide
This book is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages
10 editions published between 1998 and 2000 in English and held by 273 WorldCat member libraries worldwide
This book is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages
PODS 2007 : proceedings of the Twentysixth ACM SIGMODSIGACTSIGART Symposium on Principles of Database Systems : Beijing,
China, June 1113, 2007 by ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems(
)
1 edition published in 2007 in English and held by 241 WorldCat member libraries worldwide
1 edition published in 2007 in English and held by 241 WorldCat member libraries worldwide
Elements of finite model theory by
Leonid Libkin(
Book
)
1 edition published in 2004 in English and held by 206 WorldCat member libraries worldwide
"This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers EhrenfeuchtFraisse games, localitybased techniques, complexity analysis of logics, including the basics of descriptive complexity, secondorder logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zeroone laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory." "This book can be used both as an introduction to the subject, suitable for a one or twosemester graduate course, or as reference for researchers who apply techniques from logic in computer science."BOOK JACKET
1 edition published in 2004 in English and held by 206 WorldCat member libraries worldwide
"This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers EhrenfeuchtFraisse games, localitybased techniques, complexity analysis of logics, including the basics of descriptive complexity, secondorder logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zeroone laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory." "This book can be used both as an introduction to the subject, suitable for a one or twosemester graduate course, or as reference for researchers who apply techniques from logic in computer science."BOOK JACKET
Elements of finite model theory by
Leonid Libkin(
)
18 editions published between 2004 and 2015 in English and German and held by 176 WorldCat member libraries worldwide
This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers EhrenfeuchtFraïssé games, localitybased techniques, complexity analysis of logics, including the basics of descriptive complexity, secondorder logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zeroone laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory. This book can be used both as an introduction to the subject, suitable for a one or twosemester graduate course, or as reference for researchers who apply techniques from logic in computer science
18 editions published between 2004 and 2015 in English and German and held by 176 WorldCat member libraries worldwide
This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers EhrenfeuchtFraïssé games, localitybased techniques, complexity analysis of logics, including the basics of descriptive complexity, secondorder logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zeroone laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory. This book can be used both as an introduction to the subject, suitable for a one or twosemester graduate course, or as reference for researchers who apply techniques from logic in computer science
Foundations of data exchange by
Marcelo Arenas(
Book
)
12 editions published between 2010 and 2014 in English and held by 96 WorldCat member libraries worldwide
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around three key problems: how to build target solutions; how to answer queries over target solutions; and how to manipulate schema mappings themselves? The last question is also known under the name 'metadata management', since mappings represent metadata, rather than data in the database. In this book the authors summarize the key developments of a decade of research. Part I introduces the problem of data exchange via examples, both relational and XML; Part II deals with exchanging relational data; Part III focuses on exchanging XML data; and Part IV covers metadata management
12 editions published between 2010 and 2014 in English and held by 96 WorldCat member libraries worldwide
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around three key problems: how to build target solutions; how to answer queries over target solutions; and how to manipulate schema mappings themselves? The last question is also known under the name 'metadata management', since mappings represent metadata, rather than data in the database. In this book the authors summarize the key developments of a decade of research. Part I introduces the problem of data exchange via examples, both relational and XML; Part II deals with exchanging relational data; Part III focuses on exchanging XML data; and Part IV covers metadata management
In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman by
Val Tannen(
)
10 editions published in 2013 in English and Undetermined and held by 82 WorldCat member libraries worldwide
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 2729 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests
10 editions published in 2013 in English and Undetermined and held by 82 WorldCat member libraries worldwide
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 2729 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests
Semantics in Databases by
B Thalheim(
)
1 edition published in 1998 in English and held by 33 WorldCat member libraries worldwide
1 edition published in 1998 in English and held by 33 WorldCat member libraries worldwide
Proceedings of the 40th ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems by
Leonid Libkin(
)
1 edition published in 2021 in English and held by 26 WorldCat member libraries worldwide
1 edition published in 2021 in English and held by 26 WorldCat member libraries worldwide
Finite model theory and its applications by
Moshe Y Vardi(
)
6 editions published between 2007 and 2014 in English and held by 18 WorldCat member libraries worldwide
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zeroone laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the EhrenfeuchtFraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as ominimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science
6 editions published between 2007 and 2014 in English and held by 18 WorldCat member libraries worldwide
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zeroone laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the EhrenfeuchtFraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as ominimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science
Database Theory  ICDT 2005 10th International Conference, Edinburgh, UK, January 57, 2005. Proceedings by
Thomas Eiter(
)
1 edition published in 2005 in Undetermined and held by 15 WorldCat member libraries worldwide
1 edition published in 2005 in Undetermined and held by 15 WorldCat member libraries worldwide
Decomposition of domains by
Achim Jung(
Book
)
2 editions published in 1991 in German and held by 5 WorldCat member libraries worldwide
2 editions published in 1991 in German and held by 5 WorldCat member libraries worldwide
Logic, language, information and computation 20th international workshop ; proceedings(
Book
)
1 edition published in 2013 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2013 in English and held by 4 WorldCat member libraries worldwide
Aspects of partial information in databases by
Leonid Libkin(
Book
)
2 editions published between 1994 and 1995 in English and held by 2 WorldCat member libraries worldwide
2 editions published between 1994 and 1995 in English and held by 2 WorldCat member libraries worldwide
Database theory  ICDT 2004 : 10th international conference : proceedings(
Book
)
2 editions published in 2005 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2005 in English and held by 2 WorldCat member libraries worldwide
Relational and XML data exchange by
Marcelo Arenas(
)
3 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints imposed by the target schema, and it should allow one to evaluate queries on the target instance in a way that is semantically consistent with the source data. Data exchange is an old problem that reemerged as an active research topic recently, due to the increased need for exchange of data in various formats, often in ebusiness applications. In this lecture, we give an overview of the basic concepts of data exchange in both relational and XML contexts. We give examples of data exchange problems, and we introduce the main tasks that need to addressed. We then discuss relational data exchange, concentrating on issues such as relational schema mappings, materializing target instances (including canonical solutions and cores), query answering, and query rewriting. After that, we discuss metadata management, i.e., handling schema mappings themselves. We pay particular attention to operations on schema mappings, such as composition and inverse. Finally, we describe both data exchange and metadata management in the context of XML. We use mappings based on transforming tree patterns, and we show that they lead to a host of new problems that did not arise in the relational case, but they need to be addressed for XML. These include consistency issues for mappings and schemas, as well as imposing tighter restrictions on mappings and queries to achieve tractable query answering in data exchange
3 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints imposed by the target schema, and it should allow one to evaluate queries on the target instance in a way that is semantically consistent with the source data. Data exchange is an old problem that reemerged as an active research topic recently, due to the increased need for exchange of data in various formats, often in ebusiness applications. In this lecture, we give an overview of the basic concepts of data exchange in both relational and XML contexts. We give examples of data exchange problems, and we introduce the main tasks that need to addressed. We then discuss relational data exchange, concentrating on issues such as relational schema mappings, materializing target instances (including canonical solutions and cores), query answering, and query rewriting. After that, we discuss metadata management, i.e., handling schema mappings themselves. We pay particular attention to operations on schema mappings, such as composition and inverse. Finally, we describe both data exchange and metadata management in the context of XML. We use mappings based on transforming tree patterns, and we show that they lead to a host of new problems that did not arise in the relational case, but they need to be addressed for XML. These include consistency issues for mappings and schemas, as well as imposing tighter restrictions on mappings and queries to achieve tractable query answering in data exchange
Improving data quality : data consistency, deduplication, currency and accuracy by Wenyuan Yu(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Database Theory: ICDT 2005 : 10th International Conference, Edinburgh, UK, January 57, 2005 : Proceedings (Lecture notes
in computer science, 03029743 ; 3363) by
Thomas Eiter(
Book
)
1 edition published in 2005 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 2005 in Undetermined and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Eiter, Thomas 1966 Author Editor
 Queiroz, Ruy J. G. B. de Editor
 Kohlenbach, U. (Ulrich) Editor
 Thalheim, B. (Bernhard) 1952 Author Editor
 Kuper, Gabriel Other Author Editor
 Paredaens, Jan 1947 Other Editor
 Association for Computing Machinery Special Interest Group on Management of Data Contributor
 Association for Computing Machinery
 SIGART
 ACM Digital Library
Useful Links
Associated Subjects
AlgebraData processing Algorithms Artificial intelligence Computational complexity Computer logic Computers Computer science Computer scienceMathematics Computer software Constraint databases Database design Database management Data structures (Computer science) Data transmission systems Electronic data interchange Finite model theory Information storage and retrieval systems Logic, Symbolic and mathematical Logic design Model theory Relational databases Software engineering XML (Document markup language)