Semantics in Databases (Lecture Notes in Computer Science, 1358, Band 1358) - Softcover

Softcover

ISBN 10: 3540641998 ISBN 13: 9783540641995

Verlag: Springer, 2008

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

Klaus-Dieter Schewe is Professor at the UIUC Institute of Zhejiang University. Before he had worked as Professor of Computer Science at the Technical University of Clausthal, Massey University and Johannes Kepler University Linz as well as in industrial and non-university research organisations of Philips Research Laboratory Hamburg and Software Competence Center Hagenberg. His main fields of research cover rigorous methods, logic and semantics, data and knowledge base theory, distributed and hybrid systems, and conceptual modelling, in particular web information systems. He received several awards as distinguished researcher in New Zealand and Austria.Bernhard Thalheim is Full Professor of Databases and Information Systems at Christian-Albrechts-University Kiel and honorary Kolmogorov Professor at Moscow State University Lomonossov. Before being appointed to Kiel he worked as Professor at the Universities of Dresden, Rostock and Cottbus. His main fields of research cover databases and information systems, and conceptual modelling, in particular web information systems and foundations of modelling. He is author of the book "Entity-relationship modeling - foundations of database technology". Erich Graedel is a Professor of Mathematical Foundations of Computer Science at the University of Technology Aachen.  His research interests include algorithms, complexity, and logic in computer science.Phokion G. Kolaitis is a professor of computer science at the University of California, Santa Cruz. His current research interests include logic in computer science, computational complexity, and database theory. He earned a Diploma in Mathematics from the University of Athens, Greece in 1973, and a Ph.D. in Mathematics from the University of California, Los Angeles in 1978. Before joining UC Santa Cruz in 1988, he served as an L.E. Dickson Instructor of Mathematics at the University of Chicago, a faculty member at Occidental College, a visiting faculty member at Stanford University, and a visiting scientist at the IBM Almaden Research Center. Kolaitis was awarded a Guggenheim Fellowship during 1993-94. In 1995, he received an Excellence in Teaching Award by the graduating computer science and computer engineering students at UC Santa Cruz.Leonid Libkin received his PhD from the University of Pennsylvania and is currently Professor of Computer Science at the University of Toronto. His main research interests include databases and applications of logic in computer science.Maarten Marx is an associate professor at the Vrije Universiteit Amsterdam. His research interests are in modal and algebraic logic. Joel Spencer is a Professor of Mathematics and Computer Scienceat the Courant Institute, New York University. His research interests lie in interface between Discrete Mathematics and Theoretical Computer Science, most particularly with the Probabilistic Method as developed by Paul Erdos.Moshe Y. Vardi is a Noah Harding Professor of Computer Science and Chair of Computer Science at Rice University. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. His research interests include database systems, computational-complexity theory, multi-agent systems, and design specification and verification. Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981. He is the author and co-author of over 120 technical papers, as well as a book titled "Reasoning about Knowledge". Vardi is the recipient of 3 IBM Outstanding Innovation Awards. He is an editor of several international journals and is a Fellow of the Association of Computing Machinery.Yde Venema studied mathematics; in 1992, he received a PhD in Logic with the dissertation `Many-Dimensional Modal Logic'. He is currently a Research Fellow of the Royal Netherlands Academy of Arts and Sciences and an assistant professor at the Institute for Logic, Language and Computation of the University of Amsterdam. His research interests include modal and temporal logic, algebraic logic, and applications of logic in linguistics and computer science.Scott Weinstein is Professor of Computer Science, Mathematics, and Philosophy at the University of Pennsylvania. His research interests include logic in computer science and the philosphy of mathematics.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540641998
• ISBN 13: 9783540641995
• Einband: Taschenbuch
• Anzahl der Seiten: 284
• Herausgeber: Thalheim Bernhard, Libkin Leonid
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland