k_relation (302B)
1 # K-relation 2 3 A [relation] where the [tuples] are annotated by a value from a [semiring] 4 5 Used in: 6 7 - [hannula2024conditional] which uses [atserias2020consistency] 8 - [atserias2023consistency] 9 10 Up: [relation] with [semiring] 11 12 See also: [database_instance] 13 14 Aliases: k-relations, k_relations, k-relation