• Publications


  •  

     

    Show all

    120 entries « 3 of 3 »

    1989

    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)

    Procedural and Declarative Database Update Languages (Conference)

    Vianu, Victor; Abiteboul, Serge

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

    (BibTeX)

    The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications (Conference)

    Vianu, Victor; Abiteboul, Serge

    JCDKB, 1988, (International Conference on Data and Knowledge Bases).

    (BibTeX)

    A Dynamic Framework for Object Projection Views (Journal Article)

    Vianu, Victor

    TODS, 13 (1), pp. 1-22, 1988, (ACM Transactions on Database Systems).

    (BibTeX)

    1987

    Axiomatization and Simplification Rules for Relational Transactions (Conference)

    Vianu, Victor; Karabeg, Dino; Karabeg, Almira; Papakonstantinou, Kostoula

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

    (BibTeX)

    Mapping a Semantic Database Model to the Relational Model (Conference)

    Vianu, Victor; Lyngb?k, Peter

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

    (BibTeX)

    A Transcation Language Complete for Database Update and Specification (Conference)

    Vianu, Victor; Abiteboul, Serge

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

    (BibTeX)

    Database Survivability Under Dynamic Constraints (Journal Article)

    Vianu, Victor

    Acta Informatica, 25 (1), pp. 55-84, 1987.

    (BibTeX)

    Dynamic functional dependencies and database aging (Journal Article)

    Vianu, Victor

    JACM, 34 (1), pp. 28-59, 1987, (Journal of the ACM).

    (BibTeX)

    1986

    Deciding Properties of Transactional Schemas (Conference)

    Vianu, Victor; Abiteboul, Serge

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

    (BibTeX)

    1985

    Transactions and Integrity Constraints (Conference)

    Vianu, Victor; Abiteboul, Serge

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

    (BibTeX)

    1984

    Object Projection Views in the Dynamic Relational Model (Conference)

    Vianu, Victor

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

    (BibTeX)

    Transactions in Relational Databases (Preliminary Report) (Conference)

    Vianu, Victor; Abiteboul, Serge

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

    (BibTeX)

    1983

    Dynamic Constraints and Database Evolution (Conference)

    Vianu, Victor

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

    (BibTeX)

    1981

    Tableaux which Define Expression Mappings (Miscellaneous)

    Vianu, Victor; Connors, Tim

    1981.

    (BibTeX)

    1977

    The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space (Conference)

    Vianu, Victor

    MFCS, 1977, (Mathematical Foundations of Computer Science).

    (BibTeX)

    120 entries « 3 of 3 »