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...
| Главные авторы: | , , , , |
|---|---|
| Формат: | Conference item |
| Язык: | English |
| Опубликовано: |
Association for Computing Machinery
2022
|