Search dblp for Publications

export results for "toc:db/conf/daisd/daisd94.bht:"

 download as .bib file

@inproceedings{DBLP:conf/daisd/CholvyDJ94,
  author       = {Laurence Cholvy and
                  Robert Demolombe and
                  Andrew J. I. Jones},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Reasoning about the Safety of Information: From Logical Formalization
                  to Operational Definition},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {345--373},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 12:08:51 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/CholvyDJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Diaz94,
  author       = {Oscar D{\'{\i}}az},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {The Operational Semantics of User-Defined Relationships in Object-Oriented
                  Systems},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {95--116},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Diaz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/FernandesBPWDDA94,
  author       = {Alvaro A. A. Fernandes and
                  Maria L. Barja and
                  Norman W. Paton and
                  M. Howard Williams and
                  Andrew Dinn and
                  Imara P. Diaz and
                  Alia I. Abdelmoty},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {{ROCK} {\&} {ROLL:} {A} Deductive Object-Oriented Database System},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {25--32},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/FernandesBPWDDA94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/GoniIBM94,
  author       = {Alfredo Go{\~{n}}i and
                  Arantza Illarramendi and
                  Jos{\'{e}} Miguel Blanco and
                  Eduardo Mena},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Use of an Object-Based System with Reasoning capabilities to Integrate
                  Relational Databases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {117--133},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/daisd/GoniIBM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/GriefahnM94,
  author       = {Ulrike Griefahn and
                  Rainer Manthey},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Update Propagation in Chimera, an Active {DOOD} Language},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {277--298},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/GriefahnM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/LaaschS94,
  author       = {Christian Laasch and
                  Marc H. Scholl},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Change Management in Objectbases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {1--23},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/LaaschS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Manthey94,
  author       = {Rainer Manthey},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Reflections on Some Fundamental Issues of Rule-based Incremental Update
                  Propagation},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {255--276},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Manthey94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/MartinS94,
  author       = {Carme Mart{\'{\i}}n and
                  Jaume Sistac},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Integrity Constraints Checking in Historical Deductive Databases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {299--324},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/MartinS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Pastor94,
  author       = {Joan Antoni Pastor},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Extending the Synthesis of Update Transaction Programs to handle Existential
                  Rules in Deductive Databases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {189--218},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Pastor94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Quer94,
  author       = {Carme Quer},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {An Execution Model for change Computation in Deductive Databases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {159--187},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Quer94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/Reiter94,
  author       = {Raymond Reiter},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {On Specifying Database Updates (Invited Lecture)},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {219--253},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/Reiter94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/SeipelT94,
  author       = {Dietmar Seipel and
                  Helmut Th{\"{o}}ne},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {{DISLOG} - {A} System for in Disjunctive Deductive Databases},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {325--343},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/SeipelT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/SernadasS94,
  author       = {Am{\'{\i}}lcar Sernadas and
                  Cristina Sernadas},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Object Certification (Invited Lecture)},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {55--78},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/SernadasS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/TeisseirePC94,
  author       = {Maguelonne Teisseire and
                  Pascal Poncelet and
                  Rosine Cicchetti},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {{IFO2:} a Uniform Approach for Information System Modelling},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {33--53},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/TeisseirePC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/TenienteU94,
  author       = {Ernest Teniente and
                  Toni Urp{\'{\i}}},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {A Common Framework for Classifying and Specifying Deductive Database
                  Updating Problems},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {135--158},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/TenienteU94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/WidomGSU94,
  author       = {Jennifer Widom and
                  Ashish Gupta and
                  Yehoshua Sagiv and
                  Jeffrey D. Ullman},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Validating Constraints with Partial Information: Research Overview},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {375--385},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/WidomGSU94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/daisd/YePS94,
  author       = {Xian Ye and
                  Christine Parent and
                  Stefano Spaccapietra},
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Derived Objects and Classes in {DOOD} Systems},
  booktitle    = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  pages        = {79--94},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/YePS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/daisd/1994,
  editor       = {Antoni Oliv{\'{e}}},
  title        = {Fith International Workshop on the Deductive Approach to Information
                  Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
                  Costa Brava, Catalonia, Proceedings},
  series       = {Report de recerca},
  volume       = {{LSI/94-28-R}},
  publisher    = {Universitat Politecnica de Catalunya {(UPC)}},
  year         = {1994},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/daisd/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.