Static index pruning for information retrieval systems
David Carmel, Doron Cohen, et al.
SIGIR Forum (ACM Special Interest Group on Information Retrieval)
A new type of dependency, which includes the well-known functional dependencies as a special case, is defined for relational databases. By using this concept, a new (“fourth”) normal form for relation schemata is defined. This fourth normal form is strictly stronger than Codd's “improved third normal form” (or “Boyce-Codd normal form”). It is shown that every relation schema can be decomposed into a family of relation schemata in fourth normal form without loss of information (that is, the original relation can be obtained from the new relations by taking joins). © 1977, ACM. All rights reserved. © 1977, ACM. All rights reserved.
David Carmel, Doron Cohen, et al.
SIGIR Forum (ACM Special Interest Group on Information Retrieval)
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
Miklos Ajtai, Ronald Fagin, et al.
Journal of Computer and System Sciences
J.Lawrence Carter, Ronald Fagin
Theoretical Computer Science