Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.01354 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |