• Publications


  •  

     

    Show all

    120 entries « 2 of 3 »

    2000

    Typechecking for XML Transformers (Conference)

    Suciu, Dan; Vianu, Victor; Milo, Tova

    PODS, 2000, (Symposium on Principles of Database Systems).

    (BibTeX)

    Topological Queries (Conference)

    Vianu, Victor; Kuijpers, Bart

    Constraint Databases, 2000.

    (BibTeX)

    DTD Inference for Views of XML Data (Conference)

    Vianu, Victor; Papakonstantinou, Yannis

    PODS, 2000, (Symposium on Principles of Database Systems).

    (Links | BibTeX)

    Reminiscences on Influential Papers (Journal Article)

    Levy, Alon; Vianu, Victor; Ross, Kenneth; Faloutsos, Christos; O'Neil, Patrick; Simon, Eric; Srivastava, Divesh; Weikum, Gerhard

    SIGMOD Record, 29 (1), pp. 52-65, 2000.

    (BibTeX)

    Review - On Instance-Completeness for Database Query Languages involving Object Creation (Journal Article)

    Vianu, Victor

    ACM SIGMOD Digital Review, 2 , 2000.

    (BibTeX)

    Review - Exact and Approximate Aggregation in Constraint Query (Journal Article)

    Vianu, Victor

    ACM SIGMOD Digital Review, 2 , 2000.

    (BibTeX)

    1999

    Regular Path Queries with Constraints (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JCSS, 58 (3), pp. 428-452, 1999, (Journal of Computer and System Sciences).

    (BibTeX)

    Topological Queries in Spatial Databases (Conference)

    Suciu, Dan; Vianu, Victor; Papadimitriou, Christos

    CSL, 1999, (Computer Science Logic).

    (BibTeX)

    Topological Queries in Spatial Databases (Journal Article)

    Suciu, Dan; Vianu, Victor; Papadimitriou, Christos

    JCSS, 58 (1), pp. 29-53, 1999, (Journal of Computer and System Sciences).

    (BibTeX)

    1998

    Semantics and Expressiveness Issues in Active Databases (Journal Article)

    Vianu, Victor; Picouet, Philippe

    JCSS, 57 (3), pp. 325-355, 1998, (Journal of Computer and System Sciences).

    (BibTeX)

    Reflective Relational Machines (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Papadimitriou, Christos

    Information and Computation, 143 (2), pp. 110-136, 1998.

    (BibTeX)

    A Probabilistic View of Datalog Parallelization (Journal Article)

    Vianu, Victor; Lifschitz, Sergio

    TCS, 190 (2), pp. 211-239, 1998, (Theoretical Computer Science).

    (BibTeX)

    Querying Spatial Databases via Topological Invariants (Conference)

    Vianu, Victor; Segoufin, Luc

    PODS, 1998, (Symposium on Principles of Database Systems).

    (BibTeX)

    Active Views for Electronic Commerce (Conference)

    Vianu, Victor; Abiteboul, Serge; Amann, Bernd; Cluet, Sophie; Milo, Tova

    BDA, 1998, (Journees Bases de Donnees Avancees).

    (BibTeX)

    Relational Transducers for Electronic Commerce (Conference)

    Vianu, Victor; Abiteboul, Serge; Yesha, Yelena; Fordham, Bradley

    PODS, 1998, (Symposium on Principles of Database Systems).

    (BibTeX)

    Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation (Miscellaneous)

    Ludascher, Bertram; Vianu, Victor; Papakonstantinou, Yannis; Baru, Chaitanya; Velikhov, Pavel

    1998, (The Query Languages Workshop (W3C Workshops)).

    (Links | BibTeX)

    1997

    Fixpoint logics, relational machines, and computational complexity (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Vardi, Moshe

    JACM, 44 (1), pp. 30-56, 1997, (Journal of the ACM).

    (BibTeX)

    Expressiveness and Complexity of Active Databases (Conference)

    Vianu, Victor; Picouet, Philippe

    ICDT, 1997, (International Conference on Database Theory).

    (BibTeX)

    Queries and Computation on the Web (Conference)

    Vianu, Victor; Abiteboul, Serge

    ICDT, 1997, (International Conference on Database Theory).

    (BibTeX)

    Regular Path Queries with Constraints (Conference)

    Vianu, Victor; Abiteboul, Serge

    PODS, 1997, (Symposium on Principles of Database Systems).

    (BibTeX)

    Rule-Based Languages (Journal Article)

    Vianu, Victor

    Annals of Mathematics and Artificial Intelligence, 19 (1-2), pp. 215-259, 1997.

    (BibTeX)

    1996

    Topological Queries in Spatial Databases (Conference)

    Suciu, Dan; Vianu, Victor; Papadimitriou, Christos

    PODS, 1996, (Symposium on Principles of Database Systems).

    (BibTeX)

    1995

    Computing with First-Order Logic (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JCSS, 50 (2), pp. 309-335, 1995, (Journal of Computer and System Sciences).

    (BibTeX)

    Computing with Infinitary Logic (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Vardi, Moshe

    TCS, 149 (1), pp. 101-128, 1995, (Theoretical Computer Science).

    (BibTeX)

    Tractable Query Languages for Complex Object Databases (Journal Article)

    Vianu, Victor; Grumbach, Stephane

    JCSS, 51 (2), pp. 149-167, 1995, (Journal of Computer and System Sciences).

    (BibTeX)

    Foundations of Databases (Book)

    Vianu, Victor; Abiteboul, Serge; Hull, Richard

    Addison-Wesley, 1995, ISBN: 0-201-53771-0.

    (BibTeX)

    Semantics and Expressiveness Issues in Active Databases (Conference)

    Vianu, Victor; Picouet, Philippe

    PODS, 1995, (Symposium on Principles of Database Systems).

    (BibTeX)

    A Probabilistic View of Datalog Parallelization (Conference)

    Vianu, Victor; Lifschitz, Sergio

    ICDT, 1995, (International Conference on Database Theory).

    (BibTeX)

    1994

    The Power of Reflective Relational Machines (Conference)

    Vianu, Victor; Abiteboul, Serge; Papadimitriou, Christos

    LICS, 1994, (Logic in Computer Science).

    (BibTeX)

    1993

    Database Method Schemas and Object Creation (Conference)

    Vianu, Victor; Denninghoff, Karl

    PODS, 1993, (Symposium on Principles of Database Systems).

    (BibTeX)

    Computing on Structures (Conference)

    Vianu, Victor; Abiteboul, Serge

    ICALP, 1993, (International Colloquium on Automata, Languages and Programming).

    (BibTeX)

    1992

    Conceptual Level Concurrency Control of Relational Update Transactions (Journal Article)

    Vianu, Victor; Vossen, Gottfried

    TCS, 95 (1), pp. 1-42, 1992, (Theoretical Computer Science).

    (BibTeX)

    Expressive Power of Query Languages (Conference)

    Vianu, Victor; Abiteboul, Serge

    Theoretical Studies in Computer Science, 1992.

    (BibTeX)

    Queries Are Easier Than You Thought (Probably) (Conference)

    Vianu, Victor; Abiteboul, Serge; Compton, Kevin

    PODS, 1992, (Symposium on Principles of Database Systems).

    (BibTeX)

    Fixpoint Logics, Relational Machines, and Computational Complexity (Conference)

    Vianu, Victor; Abiteboul, Serge; Vardi, Moshe

    CoCo, 1992, (Conference on Computational Complexity).

    (BibTeX)

    Computing with Infinitary Logic (Conference)

    Vianu, Victor; Abiteboul, Serge; Vardi, Moshe

    ICDT, 1992, (International Conference on Database Theory).

    (BibTeX)

    1991

    Non-Determinism in Logic-Based Languages (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    Annals of Mathematics and Artificial Intelligence, 3 (2-4), pp. 0-, 1991.

    (BibTeX)

    Datalog Extensions for Database Queries and Updates (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JCSS, 43 (1), pp. 62-124, 1991, (Journal of Computer and System Sciences).

    (BibTeX)

    The Power of Methods With Parallel Semantics (Conference)

    Vianu, Victor; Denninghoff, Karl

    VLDB, 1991, (International Conference on Very Large Databases).

    (BibTeX)

    Generic Computation and Its Complexity (Conference)

    Vianu, Victor; Abiteboul, Serge

    STOC, 1991, (ACM Symposium on Theory of Computing).

    (BibTeX)

    Tractable Query Languages for Complex Object Databases (Conference)

    Vianu, Victor; Grumbach, Stephane

    PODS, 1991, (Symposium on Principles of Database Systems).

    (BibTeX)

    Expressiveness and Complexity of Restricted Languages for Complex Objects (Miscellaneous)

    Vianu, Victor; Grumbach, Stephane

    1991, (Workshop on Database Programming Languages).

    (BibTeX)

    Simplification Rules and Complete Axiomatization for Relational Update Transactions (Journal Article)

    Vianu, Victor; Karabeg, Dino

    TODS, 16 (3), pp. 439-475, 1991, (ACM Transactions on Database Systems).

    (BibTeX)

    1990

    Procedural Languages for Database Queries and Updates (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JCSS, 41 (2), pp. 181-229, 1990, (Journal of Computer and System Sciences).

    (BibTeX)

    New Hope on Data Models and Types: Report of an NSF-INRIA Workshop (Journal Article)

    Vianu, Victor; Abiteboul, Serge; Buneman, Peter; Delobel, Claude; Hull, Richard; Kanellakis, Paris

    SIGMOD Record, 19 (4), pp. 41-48, 1990.

    (BibTeX)

    Non-Deterministic Languages to Express Deterministic Transformations (Conference)

    Vianu, Victor; Abiteboul, Serge; Simon, Eric

    PODS, 1990, (Symposium on Principles of Database Systems).

    (BibTeX)

    Playing Games with Objects (Conference)

    Vianu, Victor; Grumbach, Stephane

    ICDT, 1990, (International Conference on Database Theory).

    (BibTeX)

    Parallel Update Transactions (Journal Article)

    Vianu, Victor; Karabeg, Dino

    TCS, 76 (1), pp. 93-114, 1990, (Theoretical Computer Science).

    (BibTeX)

    1989

    A transaction-based approach to relational database specification (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JACM, 36 (4), pp. 758-789, 1989, (Journal of the ACM).

    (BibTeX)

    Goal-Oriented Concurrency Control (Conference)

    Vianu, Victor; Vossen, Gottfried

    MFDBS, 1989, (Mathematical Fundamentals of Database Systems).

    (BibTeX)

    120 entries « 2 of 3 »