Vorbesprechungstermin:

Dienstag, 08.02.2011; 12:30-13:30 Uhr; HRS 3 Raum 408a


Sommersemester 2011

 

Die Arbeitsgruppe "Technologie der Informationssysteme" bietet ein Seminar mit Vorträgen rund um aktuelle Forschungsthemen aus dem Bereich der Datenbanken und Informationssysteme an. Neben theoretischen Grundlagen werden auch Anwendungen und aktuelle Technologien angesprochen und diskutiert.

Inhalt:

  • Konzeptionelle Modellierung, Design-Pattern, Spezifikationssprachen
  • Content Management
  • Datenbanktheorie
  • Unvollständige Informationen in XML
  • Transaktionsmanagement

     

    Vortragstermine

    DatumVortragenderBetreuerThemapdf
    N.N. J. Weiland Prof. ThalheimSuperimposed Information


    30.06.2011
    16:15 Uhr
    T. Hansen Ove SörensenAktualisierbare Volltextindizes
    07.07.2011
    16:15 Uhr
    F. AdzersenProf. KleinXML with incomplete information: models, properties, and query answering

     


    Themenübersicht Sommersemester 2011

    Nr.

    Thema

    1.
    Superimposed Information  (vergeben)

    Shawn Bowers, Lois M. L. Delcambre, and David Maier. Superimposed schematics: Introducing e-r structure for in-situ information selections. In Spaccapietra et al, pages 90-104.



    Book Series    Lecture Notes in Computer Science
    Publisher    Springer Berlin / Heidelberg
    ISSN    0302-9743 (Print) 1611-3349 (Online)
    Volume    Volume 2503/2003
    Book    Conceptual Modeling — ER 2002
    DOI    10.1007/3-540-45816-6
    Copyright    2003
    ISBN    978-3-540-44277-6
    DOI    10.1007/3-540-45816-6_17
    Pages    90-104
    Subject Collection    Computer Science
    SpringerLink Date    Tuesday, January 01, 2002
    [pdf]
    Betreuung: Prof. Thalheim

    2.
    CASL und Insititutions

    Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, and Andrzej Tarlecki. Casl - the common algebraic specification language: Semantics and proof theory. Computers and Artificial Intelligence, 22(3), 2003.

    @article{DBLP:journals/cai/MossakowskiHST03,
      author    = {Till Mossakowski and
                   Anne Elisabeth Haxthausen and
                   Donald Sannella and
                   Andrzej Tarlecki},
      title     = {Casl - The Common Algebraic Specification Language: Semantics
                   and Proof Theory},
      journal   = {Computers and Artificial Intelligence},
      volume    = {22},
      number    = {3},
      year      = {2003},
      bibsource = {DBLP, http://dblp.uni-trier.de}
    }
    [pdf]

    Betreuung: Prof. Thalheim

    3.
    Fuzzy Set and Hedge Algebras

    Nguyen Cat Ho, A Topological Completion of Refined Hedge Algebras and a Model of Fuzziness of Linguistic Terms and Hedges, Fuzzy Sets and Systems 158(4) (2007) 436-451

    @article{1223760,
     author = {Nguyen Cat Ho},
     title = {A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges},
     journal = {Fuzzy Sets Syst.},
     volume = {158},
     number = {4},
     year = {2007},
     issn = {0165-0114},
     pages = {436--451},
     doi = {http://dx.doi.org/10.1016/j.fss.2006.09.013},
     publisher = {Elsevier North-Holland, Inc.},
     address = {Amsterdam, The Netherlands, The Netherlands},
     }
    [pdf]

    Nguyen Cat Ho and Nguyen Van Long, Fuzziness Measure on Complete Hedge Algebras and Quantifying Semantics of Terms in Linear Hedge Algebras, Fuzzy Sets and Systems 158(4) (2007) 452-47

    @article{1223761,
    author = {Nguyen Cat Ho and Nguyen Van Long},
    title = {Fuzziness measure on complete hedge algebras and quantifying semantics of terms in linear hedge algebras},
    journal = {Fuzzy Sets Syst.},
    volume = {158},
    number = {4},
    year = {2007},
    issn = {0165-0114},
    pages = {452--471},
    doi = {http://dx.doi.org/10.1016/j.fss.2006.10.023},
    publisher = {Elsevier North-Holland, Inc.},
    address = {Amsterdam, The Netherlands, The Netherlands},
    }
    [pdf]

    Betreuung: Prof. Thalheim

    4.
    Aktualisierbare Volltextindizes (vergeben)
    Nicholas Lester, Alistair Moffat, Justin Zobel: Efficient online index construction for text databases

    @article{1386125,
    author = {Lester, Nicholas and Moffat, Alistair and Zobel, Justin},
    title = {Efficient online index construction for text databases},
    journal = {ACM Trans. Database Syst.},
    volume = {33},
    number = {3},
    year = {2008},
    issn = {0362-5915},
    pages = {1--33},
    doi = {http://doi.acm.org/10.1145/1386118.1386125},
    publisher = {ACM},
    address = {New York, NY, USA},
    }

    Betreuung: Ove Sörensen

    5.
    Refinement & Reification
    Cliff B. Jones / Ken G. Pierce: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification, LNCS 5238/2008: S. 360-377
    @inproceedings{DBLP:conf/asm/JonesP08,
      author    = {Cliff B. Jones and
                   Ken G. Pierce},
      title     = {Splitting Atoms with Rely/Guarantee Conditions Coupled with
                   Data Reification},
      booktitle = {ABZ},
      year      = {2008},
      pages     = {360-377},
      ee        = {http://dx.doi.org/10.1007/978-3-540-87603-8_47},
      crossref  = {DBLP:conf/asm/2008},
      bibsource = {DBLP, dblp.uni-trier.de}
    }

    @proceedings{DBLP:conf/asm/2008,
      editor    = {Egon B{\"o}rger and
                   Michael J. Butler and
                   Jonathan P. Bowen and
                   Paul Boca},
      title     = {Abstract State Machines, B and Z, First International Conference,
                   ABZ 2008, London, UK, September 16-18, 2008. Proceedings},
      booktitle = {ABZ},
      publisher = {Springer},
      series    = {Lecture Notes in Computer Science},
      volume    = {5238},
      year      = {2008},
      isbn      = {978-3-540-87602-1},
      bibsource = {DBLP, dblp.uni-trier.de}
    }

    [http] [pdf]
    G. Schellhorn: ASM Refinement and Generalizations of Forward Simulation in Data Refinement: A Comparison, Journal of Theoretical Computer Science 2005, Vol. 336, no 2-3, S. 403-435

    @article{DBLP:journals/tcs/Schellhorn05,
      author    = {Gerhard Schellhorn},
      title     = {ASM refinement and generalizations of forward simulation
                   in data refinement: a comparison},
      journal   = {Theor. Comput. Sci.},
      volume    = {336},
      number    = {2-3},
      year      = {2005},
      pages     = {403-435},
      ee        = {http://dx.doi.org/10.1016/j.tcs.2004.11.013},
      bibsource = {DBLP, dblp.uni-trier.de}
    }
    [http] [pdf]

    Egon Börger: The ASM Refinement Method. Formal Aspects of Computing 15 (2-3): S. 237-257 (2003)

    @article{DBLP:journals/fac/Borger03,
      author    = {Egon B{\"o}rger},
      title     = {The ASM Refinement Method},
      journal   = {Formal Asp. Comput.},
      volume    = {15},
      number    = {2-3},
      year      = {2003},
      pages     = {237-257},
      ee        = {http://dx.doi.org/10.1007/s00165-003-0012-7},
      bibsource = {DBLP, dblp.uni-trier.de}
    }
    [http] [pdf]

    Betreuung: Prof. Thalheim

    6.
    XML with incomplete information: models, properties, and query answering (vergeben)
    Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo: XML with incomplete information: models, properties, and query answering. Proc. ACM PODS'09, S. 237-246, 2009

    @inproceedings{DBLP:conf/pods/BarceloLPS09,
      author    = {Pablo Barcel{\'o} and
                   Leonid Libkin and
                   Antonella Poggi and
                   Cristina Sirangelo},
      title     = {XML with incomplete information: models, properties, and
                   query answering},
      booktitle = {PODS},
      year      = {2009},
      pages     = {237-246},
      ee        = {http://doi.acm.org/10.1145/1559795.1559832},
      crossref  = {DBLP:conf/pods/2009},
      bibsource = {DBLP, dblp.uni-trier.de}
    }

    @proceedings{DBLP:conf/pods/2009,
      editor    = {Jan Paredaens and
                   Jianwen Su},
      title     = {Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART
                   Symposium on Principles of Database Systems, PODS 2009,
                   June 19 - July 1, 2009, Providence, Rhode Island, USA},
      booktitle = {PODS},
      publisher = {ACM},
      year      = {2009},
      isbn      = {978-1-60558-553-6},
      bibsource = {DBLP, dblp.uni-trier.de}
    }
    [http] [pdf]

    Betreuung: Prof. Klein

    7.
    Parallelizing extensible query optimizers
    Florian M. Waas, Joseph M. Hellerstein: Parallelizing extensible query optimizers. Proc. ACM SIGMOD'09, S. 871-878, 2009

    @inproceedings{DBLP:conf/sigmod/WaasH09,
      author    = {Florian M. Waas and
                   Joseph M. Hellerstein},
      title     = {Parallelizing extensible query optimizers},
      booktitle = {SIGMOD Conference},
      year      = {2009},
      pages     = {871-878},
      ee        = {http://doi.acm.org/10.1145/1559845.1559938},
      crossref  = {DBLP:conf/sigmod/2009},
      bibsource = {DBLP, dblp.uni-trier.de}
    }

    @proceedings{DBLP:conf/sigmod/2009,
      editor    = {Ugur \c{C}etintemel and
                   Stanley B. Zdonik and
                   Donald Kossmann and
                   Nesime Tatbul},
      title     = {Proceedings of the ACM SIGMOD International Conference on
                   Management of Data, SIGMOD 2009, Providence, Rhode Island,
                   USA, June 29 - July 2, 2009},
      booktitle = {SIGMOD Conference},
      publisher = {ACM},
      year      = {2009},
      isbn      = {978-1-60558-551-2},
      bibsource = {DBLP, dblp.uni-trier.de}
    }
    [http] [pdf]

    Betreuung: Prof. Klein