Conjunctive Table Algebras
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913295019016192 |
|---|---|
| author | Kötters, Jens Schmidt, Stefan E. |
| author_facet | Kötters, Jens Schmidt, Stefan E. |
| contents | Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table operations relate to logical operations (e.g. column deletion corresponds to existential quantification). This enables a connection between database theory and algebraic logic, particularly cylindric algebras. A comparison shows which cylindric algebra axioms hold in conjunctive table algebras, which ones are modified, and which ones hold in addition. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_01354 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Conjunctive Table Algebras Kötters, Jens Schmidt, Stefan E. Logic Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table operations relate to logical operations (e.g. column deletion corresponds to existential quantification). This enables a connection between database theory and algebraic logic, particularly cylindric algebras. A comparison shows which cylindric algebra axioms hold in conjunctive table algebras, which ones are modified, and which ones hold in addition. |
| title | Conjunctive Table Algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2404.01354 |