Victor Vianu

Victor Vianu

Homepage

Victor Vianu is a Professor in the Department of Computer Science and Engineering at the U.C. San Diego. His research interests are in database systems and theory. Most recently, he has been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. His current research focuses on automatic verification of interactive data-driven Web services and business processes. He is also interested in the theory of query languages and computational logic.

Back to all authors

Books Authored by Victor Vianu

Foundations of Databases

Post date: 08 Feb 2017
Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.
Author(s): Serge Abiteboul Rick Hull Victor Vianu
Publication date: 31 Dec 1995
License: Standard Copyright License
Document Type: Textbook
Tags: Relational Database
 
 Foundations of Databases

Foundations of Databases

Post date: 08 Feb 2017
Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.
Author(s): Serge Abiteboul Rick Hull Victor Vianu
Publication date: 31 Dec 1995
License: Standard Copyright License
Document Type: Textbook
Tags: Relational Database



Book Categories