Rewriting the infinite chase

Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answered by a variant of the chase—a quintessential technique for reasoning with dependencies. However, there has been little...

Cijeli opis

Bibliografski detalji
Glavni autori: Benedikt, M, Buron, M, Germano, S, Kappelmann, K, Motik, B
Format: Conference item
Jezik:English
Izdano: Association for Computing Machinery 2022

Slični predmeti