http:^^www-cse.ucsd.edu^users^vianu^
来自「This data set contains WWW-pages collect」· EDU^USERS^VIANU^ 代码 · 共 153 行
EDU^USERS^VIANU^
153 行
Date: Thu, 21 Nov 1996 20:07:53 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Wed, 13 Nov 1996 03:39:29 GMTContent-length: 4893<HTML><HEAD><title>Victor Vianu's Home Page</title></HEAD><BODY><H1> Victor Vianu </H1><H2> Professor, Computer Science and Engineering </H2><!WA0><A HREF = "http://www-cse.ucsd.edu/users/vianu/victor2.gif"> <!WA1><IMG SRC="http://www-cse.ucsd.edu/users/vianu/victor2.jpg"></A><DL><DT> <!WA2><A HREF="http://www-cse.ucsd.edu/"> Department of Computer Science and Engineering </A><DT> U.C. San Diego<DT> La Jolla, CA 92093-0114, USA<DT> 619-534-6227<DT> 619-534-7029 (fax)<DT> <!WA3><A HREF="mailto:vianu@cs.ucsd.edu"><tt>vianu@cs.ucsd.edu</tt></A> </DL><HR><H3> Research Area </H3>My research interests lie primarily in data and knowledge bases, including: <UL><LI> <!WA4><A HREF="http://www-cse.ucsd.edu/users/vianu/queries.html"> theory of query languages </A><LI> <!WA5><A HREF="http://www-cse.ucsd.edu/users/vianu/dynamic.html"> dynamic aspects of databases </A><LI> <!WA6><A HREF="http://www-cse.ucsd.edu/users/vianu/active.html"> object-oriented databases </A> <LI> <!WA7><A HREF="http://www-cse.ucsd.edu/users/vianu/active.html"> active databases </A> <LI> <!WA8><A HREF="http://www-cse.ucsd.edu/users/vianu/spatial.html"> spatial databases </A><LI> <!WA9><A HREF="http://www-cse.ucsd.edu/users/vianu/parallel.html"> parallel evaluation of datalog </A></UL><BR>Favorite <!WA10><A HREF="http://www-cse.ucsd.edu/users/vianu/fuzzy.gif"> application of logic </A><HR><H3>Some Recent Papers</H3><UL><LI> S. Abiteboul and V. Vianu:<!WA11><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/web-icdt97.ps.gz">Queries and computation on the Web,</A><em> Proc. Int'l. Conf. on Database Theory</em>, 1997. To appear.<LI> V. Vianu:<!WA12><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/rules.ps.gz">Rule-Based Languages,</A><em> Annals of Mathematics and Artificial Intelligence</em>, to appear.<LI> V. Vianu:<!WA13><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/dimacs.ps.gz">Databases and Finite-Model Theory,</A><em> AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science</em>, to appear.<LI> C.H. Papadimitriou, D. Suciu and V. Vianu:<!WA14><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/suciu.ps.gz">Topological Queries in Spatial Databases,</A><em> Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems</em>, 1996.<LI> P. Picouet and V. Vianu:<!WA15><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/picouet-pods.ps.gz">Semantics and Expressiveness Issues in Active Databases,</A><em> Proc. ACM SIGACT-SIGART-SIGMOD Symp. on Principles of Database Systems </em>, 1995, 126-138.<!WA16><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/picouet-jcss.ps.gz">Full paper</A>(preliminary version), invited to <em> J. of Computer and System Sciences </em><LI> S. Grumbach and V.Vianu:<!WA17><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/steph-jcss.ps.gz">Tractable Query Languages for Complex Object Databases,</A><em> J. of Computer and System Sciences </em>, 51:2,1995, 149-167.<LI> S.Abiteboul, C.H. Papadimitriou and V.Vianu:<!WA18><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/christos-infcomp.ps.gz">The Power of the Reflective Relational Machine,</A><em> Proc. IEEE Symp. on Logic in Computer Science</em>, Paris, 1994.<LI> S.Abiteboul and V.Vianu:<!WA19><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/computing-fo.ps.gz">Computing with First-Order Logic, </A><em> J. of Computer and System Sciences </em>, 50:2, 1995, 309-335.<LI> S. Lifschitz and V. Vianu:A Probabilistic View of Datalog Parallelization,<em> Proc. Int'l. Conf. on Database Theory </em>, 1995.<!WA20><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/sergio-tcs.ps.gz">Full version</A>to appear in <em> Theoretical Computer Science </em>.<LI> S.Abiteboul, M.Vardi and V.Vianu:<!WA21><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/comp-inf-tcs.ps.gz">Computing with Infinitary Logic, </A><em> Theoretical Computer Science </em>, 149, 1995, 101-128. <LI> S. Abiteboul, M. Vardi, and V. Vianu:<!WA22><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/rel-machines.ps.gz">Fixpoint Logics, Relational Machines, and Computational Complexity,</A><em> Proc. Conf. on Structure in Complexity Theory </em>, 1992.<!WA23><A HREF="http://www-cse.ucsd.edu/users/vianu/PAPERS/rel-machines-jacm.ps.gz">Full version</A>to appear in <em> J. of the ACM </em>.</UL>Link to databases/logic programming <!WA24><A HREF="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vianu:Victor.html">bibliography</A><HR><H3> New Book </H3><!WA25><A HREF="http://www-cse.ucsd.edu/users/vianu/book.html"> Foundations of Databases </A><BR>by S.Abiteboul, R.Hull and V.Vianu, Addison-Wesley, 1995.<HR><H3>Classes </H3><!WA26><A HREF="http://www-cse.ucsd.edu/classes/fa96/cse132/index.html">CSE132 </A> <HR><H3>Miscellaneous Interests</H3><UL><LI> <!WA27><A href="http://www-cse.ucsd.edu/users/vianu/isabelle.gif"> Isabelle </A><LI> <!WA28><A href="http://www.paris.org/"> Paris </A><LI> <!WA29><A HREF="http://www-rocq.inria.fr:80/verso/verso.html"> Verso </A></UL><HR></BODY></HTML>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?