| 11.10.2001 | Wszyscy z V roku | Prezentacja tematów prac magisterskich |
| 18.10.2001 | Jan Hidders | A formal full-feature object-oriented data model and graph-based query language |
| 25.10.2001 | Artur Jazwiński | Datalog: definicja i obliczenia |
| 25.10.2001 | Daria Nowicka | Datalog i negacja |
| 08.11.2001 | Adrian Szyndela | Optymalizacja Datalogu |
| 08.11.2001 | Łukasz Głąb | XML |
| 22.11.2001 | Daria Nowicka | Dokończenie referatu Datalog i negacja |
| 22.11.2001 | Sławomir Francik | Elementy dedukcyjne w SQL3 |
| 06.12.2001 | Bogdan Polak | Rodzina XMLa - RDF, MathML, SVG, SMIL, SOAP |
| 20.12.2001 | Jan Słupski | Searching the Web |
| 20.12.2001 | Włodzimierz Kubera | Kody kreskowe |
| 03.01.2002 | Paweł Daniluk | Komputery kwantowe. Algorytm Grovera |
| 10.01.2002 | Paweł Sochaczewski | |
| 17.01.2002 | Przemysław Pietrak | Queries and Computation on the Web |
| 14.03.2002 | Włodzimierz Kubera | Rozszerzanie Oracle Forms 6.0 o funkcje API systemu operacyjnego |
| Krzysztof Stencel | Jerzy Tyszkiewicz |
We present a graph-based data model GDM, where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. The data model unifies concepts such as found in other data models such as nested relations from the nested relational model, symmetrical relationships from the entity-relationship model, and object identity, complex values and inheritance from object-oriented data models.
For this data model we introduce an update language GUL that is based on pattern matching. Every operation in this language contains a pattern, i.e., a labeled graph that represents a prototypical piece of an instance graph that determines where the operation will be applied. The two operations in GUL are the addition and the deletion. The addition specifies, given a certain pattern, which nodes, edges and labels should be added, and a deletion specifies which nodes, edges and labels in the pattern should be removed. Together with some form of iteration such as a fixpoint operator this results in language that can express all constructive transformations of instance graphs.
Uniwersalność składni języka XML spowodowała, że stał się on doskonałą bazą definiowania języków, protokołów i formatów danych. Seminarium zaprezentuje nowe technologie web'owe rozwijane przez W3C oparte na języku XML. Pokrótce zostaną omówione: