Foundations of Databases

Abiteboul, S., Hull, R., & Vianu, V. (1995). Foundations of Databases. Addison-Wesley.

Type

Book

Intellectual base

Textbook

Year

1995

DOI

10.5555/551350 did not resolve

Link

https://dl.acm.org/doi/book/10.5555/551350

Cited from

mathematics

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Cartesian Product
  • Computer science. The relational-algebra cross join, the joint state space of concurrent processes (one process's states \(\times\) another's), and tuple types in programming languages are direct surface forms.

    This sourceEstablishes the relational-algebra cross (Cartesian) join and tuple-based data model; product state spaces of concurrent systems.

Domain-specific

• Codd's theorem
  • The equivalence applies to safe or domain-independent calculus queries under the relational model, excluding formulas whose answer changes when the ambient value domain is enlarged.

Verification

Does it exist? Not confirmed. The DOI recorded for this work did not resolve when it was last checked, so it is shown above but not linked. The citation may still be sound; the recorded identifier is not. Flagged for repair.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:878ee5b36cb1 · see in the full table