 | 
Institute Affiliation:
Contact Information:
Phone:
858-534-6227
Email:
vianu@cs.ucsd.edu
Personal Home Page
Research Page
| | Victor Vianu - Professor
Database in the age of the World Wide Web
An expert in classical database theory, logic, and data on the Web, Professor Vianu has contributed to the
foundations of the database area, from early work on relational databases to recent research on data distributed across
the Web. His contributions to classical database theory focused on the expressiveness and complexity of relational,
object-oriented, and spatial query languages. More recently, Vianu has turned to the World Wide Web, where XML has become
the standard for data exchange. He has shown how automata-theoretic techniques can be used to develop type-checking
algorithms to guarantee the robustness of applications built using XML. He has also studied the use of partial information
in answering queries about XML data sources, incremental validation of XML documents, and the processing of streams of XML
data. Another focus of Vianu's current work is the automatic verification of data-driven Web services, where he is employing
a novel mix of model checking and database optimization techniques.
Capsule Bio:
Victor Vianu joined the UCSD faculty in 1983. He is one of three Jacobs School professors running UCSD's Database Laboratory. He has served as General Chair of SIGMOD,and Program Chair of the PODS and ICDT conferences. He is on the editorial board of the Journal of the ACM and the ACM Transactions on Computational Logic, and authored the standard graduate textbook on database theory. He received his Ph.D. in computer science from the USC in 1983.
| |
