Albert Gutowski

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

Affiliation

Uniwersytet Warszawski

Field

informatics

Supervisor

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

Reviewers

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

Documents

• Thesis

Reviews

• Review
• Review
• Review