Albert Gutowski

Regularne zapytania ścieżkowe i więzy modalne: rozstrzygalność zawierania zapytań w obecności schematu grafowej bazy danych (Regular Path Queries and Modal Constraints: Decidability of Query Containment under a Graph Database Schema)

Afiliacja

Uniwersytet Warszawski

W dyscyplinie

informatyka

Promotor

• dr hab. Filip Murlak, prof. ucz. (Uniwersytet Warszawski)

Recenzenci

• prof. dr hab. Ian Pratt-Hartmann (The University of Manchester,, Uniwersytet Opolski)
• prof. Dr. Carsten Lutz (Leipzig University)
• dr Pierre Bourhis (University of Lille)

Dokumenty

• Rozprawa

Recenzje

• Recenzja
• Recenzja
• Recenzja