Codd's Theorem for Databases over Semirings

View Full Paper

Ask AI

Bookmark

Authors

Discussion

Assessment uncovers Codd's Theorem's expressive power in semirings, indicating distinct relational operations apply to different versions.

Codd's Theorem asserts equivalence between relational algebra and calculus in expressive power.
The analysis reveals two distinct versions of the theorem based on relational operations in semirings.
Investigation involves both classical and extended operations of relational algebra employing unique semantics.
Findings suggest limitations with the division operation's expressibility in arbitrary positive semirings.

Badia et al. (2025) studied this question.

View Full Paper

Ask AI

Bookmark

Assessment uncovers Codd's Theorem's expressive power in semirings, indicating distinct relational operations apply to different versions.