Sotabase

Career

· Professor, Computer Science & Engineering, UC San Diego1984–

Publications (237)

Foundations of Databases
1994
4,673
cited
Introduction
Journal of the ACM · 2006
514
cited
Foundations of Databases: The Logical Level
1995
394
cited
Invited articles section foreword
JACM · 2010
356
cited
Typechecking for XML transformers
Journal of computer and system sciences (Print) · 2000
317
cited
Datalog Extensions for Database Queries and Updates
Journal of computer and system sciences (Print) · 1991
304
cited
Finite state machines for strings over infinite alphabets
TOCL · 2004
295
cited
Regular path queries with constraints
Journal of computer and system sciences (Print) · 1997
290
cited
Automatic verification of data-centric business processes
International Conference on Database Theory · 2009
271
cited
DTD inference for views of XML data
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2000
243
cited
Generic Computation and its complexity
Symposium on the Theory of Computing · 1991
207
cited
Incremental validation of XML documents
TODS · 2003
178
cited
Validating streaming XML documents
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2002
178
cited
Views and queries: Determinacy and rewriting
TODS · 2010
163
cited
Representing and querying XML with incomplete information
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2001
162
cited
Relational transducers for electronic commerce
Journal of computer and system sciences (Print) · 1998
161
cited
A Web Odyssey: from Codd to XML
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2001
151
cited
Queries and computation on the web
Theoretical Computer Science · 1997
142
cited
Procedural and declarative database update languages
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 1988
119
cited
Fixpoint extensions of first-order logic and datalog-like languages
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science · 1989
117
cited
Sotabase
Victor Vianu | Researcher Profile | Sotabase | Sotabase