Datenbankseminar

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.

  • 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

 


Vorbesprechungstermin:

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


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