WorldCat Identities

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 5-7, 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, multi-dimensional 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 20-23, 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.
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; object-orientation, 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
PODS 2007 : proceedings of the Twenty-sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems : Beijing, China, June 11-13, 2007 by ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems( )

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 Ehrenfeucht-Fraisse games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one 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 two-semester 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 Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one 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 two-semester 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
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, 27-29 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

Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems by Leonid Libkin( )

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 zero-one 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 Ehrenfeucht-Fraissé 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 o-minimality and tree-width, 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 5-7, 2005. Proceedings by Thomas Eiter( )

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

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

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

Database theory - ICDT 2004 : 10th international conference : proceedings( Book )

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 re-emerged as an active research topic recently, due to the increased need for exchange of data in various formats, often in e-business 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

Database Theory: ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005 : Proceedings (Lecture notes in computer science, 0302-9743 ; 3363) by Thomas Eiter( Book )

1 edition published in 2005 in Undetermined and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Database t ... to 0.00 for Database t ...)

Database theory : ICDT 2005 : 10th international conference, Edinburgh, UK, January 5-7, 2005 : proceedings Database theory - ICDT 2004 : 10th international conference : proceedings
Covers
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedingsSemantics in databasesConstraint databasesElements of finite model theoryElements of finite model theoryFoundations of data exchangeIn search of elegance in the theory and practice of computation : essays dedicated to Peter BunemanFinite model theory and its applications
Alternative Names
Leonid Libkin Amerikaans informaticus

Leonid Libkin computer scientist

Leonid Libkin informáticu teóricu estauxunidense

لئونید لیبکین

Languages
English (117)

German (3)