Victor Vianu
Encyclopedia
Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego and since 2010 the editor-in-chief of the Journal of the ACM
.
Vianu did his graduate studies at the University of Southern California
, earning his Ph.D. in 1983; he joined the UCSD faculty in 1984.
Vianu's book Foundations of Databases (with Serge Abiteboul
and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory
. In finite model theory
and computational complexity theory
, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991 Symposium on Theory of Computing
) states that polynomial time equals PSPACE
if and only if fixed point logic
equals partial fixed point logic. And at the 2010 Symposium on Principles of Database Systems
, Vianu and his co-authors Dan Suciu
and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation language
s.
In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management system
s".
In his first paper recoded by DBLP
(presented at MFCS, 1977), Vianu acknowledges Solomon Marcus
for guidance.
Journal of the ACM
The Journal of the ACM is the flagship scientific journal of the Association for Computing Machinery . It is peer-reviewed and covers computer science in general, especially theoretical aspects. Its current editor-in-chief is Victor Vianu, from University of California, San Diego.The journal has...
.
Vianu did his graduate studies at the University of Southern California
University of Southern California
The University of Southern California is a private, not-for-profit, nonsectarian, research university located in Los Angeles, California, United States. USC was founded in 1880, making it California's oldest private research university...
, earning his Ph.D. in 1983; he joined the UCSD faculty in 1984.
Vianu's book Foundations of Databases (with Serge Abiteboul
Serge Abiteboul
Serge Joseph Abiteboul is a computer scientist working in the areas of data management, database theory, and finite model theory.He received his PhD from the University of Southern California under the supervision of Seymour Ginsburg, in 1982....
and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory
Database theory
Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems....
. In finite model theory
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
and computational complexity theory
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991 Symposium on Theory of Computing
Symposium on Theory of Computing
STOC, the Annual ACM Symposium on Theory of Computing is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT.As...
) states that polynomial time equals PSPACE
PSPACE
In computational complexity theory, PSPACE is the set of all decision problems which can be solved by a Turing machine using a polynomial amount of space.- Formal definition :...
if and only if fixed point logic
Least fixed point
In order theory, a branch of mathematics, the least fixed point of a function is the fixed point which is less than or equal to all other fixed points, according to some partial order....
equals partial fixed point logic. And at the 2010 Symposium on Principles of Database Systems
Symposium on Principles of Database Systems
The ACM Symposium on Principles of Database Systems is the premier international research conference on database theory, and has been held yearly since 1982. It is sponsored by three Association for Computing Machinery SIGs, SIGART, SIGACT, and SIGMOD...
, Vianu and his co-authors Dan Suciu
Dan Suciu
Dan Suciu is a full professor of computer science at the University of Washington. He received his Ph.D. from the University of Pennsylvania in 1995 under the supervision of Val Tannen. After graduation, he was a principal member of the technical staff at AT&T Labs until he joined the University of...
and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation language
XML transformation language
An XML transformation language is a programming language designed specifically to transform an input XML document into an output XML document which satisfies some specific goal.There are two special cases of transformation:...
s.
In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management system
Database management system
A database management system is a software package with computer programs that control the creation, maintenance, and use of a database. It allows organizations to conveniently develop databases for various applications by database administrators and other specialists. A database is an integrated...
s".
In his first paper recoded by DBLP
Digital Bibliography & Library Project
DBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...
(presented at MFCS, 1977), Vianu acknowledges Solomon Marcus
Solomon Marcus
Solomon Marcus is a Romanian mathematician, member of the Mathematical Section of the Romanian Academy and Emeritus Professor of the University of Bucharest's Faculty of Mathematics...
for guidance.