Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 30-Oct-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642438608)
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insig...Loe edasi...
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
(Ilmumisaeg: 06-Mar-2014, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781107016163)
Data exchange is the problem of exchanging data between different databases with different schemas. A systematic study has been conducted over the past decade, making it one of the most active research topics in databases. This book is the first to...Loe edasi...
Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Oct-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642416590)
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 Octo...Loe edasi...
(Ilmumisaeg: 08-Aug-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642399916)
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,...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 03-Dec-2010, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642059483)
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....Loe edasi...
(Ilmumisaeg: 01-Dec-2010, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642085420)
This 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. Their ability to deal with infinite sets makes them particularly...Loe edasi...
Provides an overview of the basic concepts of data exchange in both relational and XML contexts. The book give examples of data exchange problems, and introduces the main tasks that need to be addressed. It then discusses relational data exchange, c...Loe edasi...
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. Table of Contents: Overview / Relational Mappings and Data Exchan...Loe edasi...
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 24-Apr-2007, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540004288)
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...Loe edasi...
Sari: Texts in Theoretical Computer Science. An EATCS Series
(Ilmumisaeg: 02-Jul-2004, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540212027)
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....Loe edasi...
(Ilmumisaeg: 16-Dec-2004, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540242888)
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international con...Loe edasi...
(Ilmumisaeg: 12-Apr-2000, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540661511)
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 polynomi...Loe edasi...
(Ilmumisaeg: 25-Feb-1998, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540641995)
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...Loe edasi...
