Sommersemester 2010

 

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

     

    Themenübersicht Sommersemester 2010

    Nr.

    Thema

    1.
    Wiederverwendung

    Colette Roland, Vronique Plihon, Jolita Ralyt: Specifying the Reuse Context of Scenario Method Chunks World Wide Web

    @inproceedings{679735,
    author = {Colette Rolland and V\'{e}ronique Plihon and Jolita Ralyt\'{e}},
    title = {Specifying the Reuse Context of Scenario Method Chunks},
    booktitle = {CAiSE '98: Proceedings of the 10th International Conference on Advanced Information Systems Engineering},
    year = {1998},
    isbn = {3-540-64556-X},
    pages = {191--218},
    publisher = {Springer-Verlag},
    address = {London, UK},
    }

    Marie-Noelle Terrasse, Marinette Savonnet, George Becker, and Eric Leclercq UML-Based Metamodeling for Information System Engineering and Evolution

    @inproceedings{conf/oois/TerrasseSBL03,
    title = {UML-Based Metamodeling for Information System Engineering and Evolution.},
    author = {Marie-Noëlle Terrasse and Marinette Savonnet and George Becker and Eric Leclercq},
    booktitle = {OOIS},
    crossref = {conf/oois/2003},
    editor = {Dimitri Konstantas and Michel Léonard and Yves Pigneur and Shushma Patel},
    pages = {83-94},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    url = {http://dblp.uni-trier.de/db/conf/oois/oois2003.html#TerrasseSBL03},
    volume = {2817},
    year = {2003},
    description = {dblp},
    ee = {http://springerlink.metapress.com/openurl.asp?genre=article issn=0302-9743 volume=2817 spage=83}, isbn = {3-540-40860-6}, date = {2003-10-10},
    keywords = {dblp }
    }


    Betreuung: Prof. Thalheim

    2.
    Superimposed Information

    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

    3.
    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

    4.
    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

    5.
    Aktualisierbare Volltextindizes
    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

    6.
    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

    7.
    XML with incomplete information: models, properties, and query answering
    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

    8.
    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

    9.
    Influence and correlation in social networks
    Anagnostopoulos, Aris and Kumar, Ravi and Mahdian, Mohammad: Influence and correlation in social networks, ACM 2008, S. 7-15
    @inproceedings{1401897,
     author = {Anagnostopoulos, Aris and Kumar, Ravi and Mahdian, Mohammad},
     title = {Influence and correlation in social networks},
     booktitle = {KDD '08: Proceeding of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining},
     year = {2008},
     isbn = {978-1-60558-193-4},
     pages = {7--15},
     location = {Las Vegas, Nevada, USA},
     doi = {http://doi.acm.org/10.1145/1401890.1401897},
     publisher = {ACM},
     address = {New York, NY, USA},
     }
    [pdf]
    Backstrom, Lars and Huttenlocher, Dan and Kleinberg, Jon and Lan, Xiangyang: Group formation in large social networks: membership, growth, and evolution, ACM 2006, S. 44-54

    @inproceedings{1150412,
     author = {Backstrom, Lars and Huttenlocher, Dan and Kleinberg, Jon and Lan, Xiangyang},
     title = {Group formation in large social networks: membership, growth, and evolution},
     booktitle = {KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining},
     year = {2006},
     isbn = {1-59593-339-5},
     pages = {44--54},
     location = {Philadelphia, PA, USA},
     doi = {http://doi.acm.org/10.1145/1150402.1150412},
     publisher = {ACM},
     address = {New York, NY, USA},
     }
    [pdf]

    Betreuung: Kai Jannaschk