• Publications


  •  

     

    365 entries « 7 of 8 »

    1996

    Topological Queries in Spatial Databases (Conference)

    Suciu, Dan; Vianu, Victor; Papadimitriou, Christos

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

    (BibTeX)

    Object Fusion in Mediator Systems (Conference)

    Abiteboul, Serge; Papakonstantinou, Yannis; Garcia-Molina, Hector

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

    (Links | BibTeX)

    Capabilities-Based Query Rewriting in Mediator Systems (Conference)

    Papakonstantinou, Yannis; Gupta, Ashish; Haas, Laura

    PDIS, 1996, (Conference on Parallel and Distributed Information Systems).

    (Links | BibTeX)

    MedMaker: A Mediation System Based on Declarative Specifications (Conference)

    Papakonstantinou, Yannis; Garcia-Molina, Hector; Ullman, Jeffrey

    ICDE, 1996, (International Conference on Data Engineering).

    (Links | BibTeX)

    Query Caching and Optimization in Distributed Mediator Systems (Conference)

    Papakonstantinou, Yannis; Adali, Sibel; Subrahmanian,

    SIGMOD, 1996, (International Conference on Management of Data).

    (Links | BibTeX)

    Towards a Logical Semantics for Referential Actions in SQL (Miscellaneous)

    Ludascher, Bertram; May, Wolfgang; Reinert, Joachim

    1996, (Workshop on Foundations of Models and Languages for Data and Objects).

    (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)

    The ADMS Project: View R Us (Journal Article)

    Papakonstantinou, Yannis; Roussopoulos, Nick; Chen, Chung-Min; Kelley, Stephen; Delis, Alex

    IEEE Data Engineering Bulletin, 18 (2), pp. 19-28, 1995.

    (Links | BibTeX)

    Foundations of Databases (Book)

    Vianu, Victor; Abiteboul, Serge; Hull, Richard

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

    (BibTeX)

    The REACH Active OODBMS (Conference)

    Deutsch, Alin; Zimmermann, Jurgen; Buchmann, Alejandro; Higa,

    SIGMOD, 1995, (International Conference on Management of Data).

    (BibTeX)

    A Logical Framework for Active Rules (Conference)

    Ludascher, Bertram; Lausen, Georg; Hamann, Ulrich

    COMAD, 1995, (International Conference on Management of Data).

    (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)

    A Query Translation Scheme for Rapid Implementation of Wrappers (Conference)

    Papakonstantinou, Yannis; Gupta, Ashish; Garcia-Molina, Hector; Ullman, Jeffrey

    DOOD, 1995, (Deductive and Object-Oriented Databases).

    (Links | BibTeX)

    The TSIMMIS Approach to Mediation: Data Models and Languages (Conference)

    Papakonstantinou, Yannis; Garcia-Molina, Hector; Quass, Dallan; Rajaraman, Anand; Sagiv, Yehoshua; Ullman, Jeffrey; Widom, Jennifer

    NGITS, 1995, (Next Generation Information Technologies and Systems).

    (Links | BibTeX)

    Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System (Conference)

    Papakonstantinou, Yannis; Garcia-Molina, Hector; Ullman, Jeffrey; Widom, Jennifer; Hammer, Joachim; Ireland, Kelly

    SIGMOD, 1995, (International Conference on Management of Data).

    (Links | BibTeX)

    Object Exchange Across Heterogeneous Information Sources (Conference)

    Papakonstantinou, Yannis; Garcia-Molina, Hector; Widom, Jennifer

    ICDE, 1995, (International Conference on Data Engineering).

    (Links | BibTeX)

    Zustandsorientierte Beschreibung von Updates in deduktiven Datenbanken (Miscellaneous)

    Ludascher, Bertram; Hamann, Ulrich

    1995, (Workshop Grundlagen von Datenbanken).

    (BibTeX)

    1994

    The Power of Reflective Relational Machines (Conference)

    Vianu, Victor; Abiteboul, Serge; Papadimitriou, Christos

    LICS, 1994, (Logic in Computer Science).

    (BibTeX)

    The TSIMMIS Project: Integration of Heterogeneous Information Sources (Conference)

    Papakonstantinou, Yannis; Garcia-Molina, Hector; Ullman, Jeffrey; Widom, Jennifer; Chawathe, Sudarshan; Hammer, Joachim; Ireland, Kelly

    IPSJ, 1994, (Meeting of the Information Processing Society of Japan).

    (Links | BibTeX)

    Updates by Reasoning about States (Miscellaneous)

    Ludascher, Bertram; Lausen, Georg

    1994.

    (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)

    Towards First-order Deduction Based on Shannon Graphs (Conference)

    Ludascher, Bertram; Posegga, Joachim

    GWAI, 1992, (Deutsche Jahrestagung fur Kunstliche Intelligenz).

    (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)

    Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (Conference)

    Vianu, Victor; Abiteboul, Serge

    LICS, 1989, (Logic in Computer Science).

    (BibTeX)

    1988

    Relational Translations of Semantic Models: A Case Study Based on Iris (Journal Article)

    Vianu, Victor; Lyngb?k, Peter

    IEEE Data Engineering Bulletin, 11 (2), pp. 13-22, 1988.

    (BibTeX)

    Equivalence and optimization of relational transactions (Journal Article)

    Vianu, Victor; Abiteboul, Serge

    JACM, 35 (1), pp. 70-120, 1988, (Journal of the ACM).

    (BibTeX)

    Parallel Update Transactions (Extended Abstract) (Conference)

    Vianu, Victor; Karabeg, Dino

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

    (BibTeX)

    Conceptual Level Concurrency Control of Relational Update Transactions (Conference)

    Vianu, Victor; Vossen, Gottfried

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

    (BibTeX)

    365 entries « 7 of 8 »