Skip to content

Back a bare name by the functions that carry it as their SQL name - #147

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:portable/back-bare-names-by-sqlfn
Sep 14, 2026
Merged

estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:portable/back-bare-names-by-sqlfn

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

The parity audit backs a bare name by the MEOS functions whose C name starts
with it (overlaps_*, same_*), else by the curated explicitBacking
prefixes. The spelled-out comparison names and tDistance match neither:
tEqual is the @sqlfn of the teq_* family, eEqual of ever_eq_*,
aEqual of always_eq_* and tDistance of tdistance_*, so the audit
flags all 19 as needing an explicit backing entry and reads 22 of 41
operators backed.

Between the prefix and the explicit map, the audit backs a bare name by the
catalog functions whose @sqlfn is that name, the SQL name MobilityDB
declares for them. Over MobilityDB master b541442a30 it reads 41 of 41
operators backed, and the live gate of tests/test_portable_parity.py
requires every operator of the contract to be backed.

The parity audit backs a bare name by the MEOS functions whose C name starts
with it (`overlaps_*`, `same_*`), else by the curated `explicitBacking`
prefixes. The spelled-out comparison names and `tDistance` match neither:
`tEqual` is the @sqlfn of the `teq_*` family, `eEqual` of `ever_eq_*`,
`aEqual` of `always_eq_*` and `tDistance` of `tdistance_*`, so the audit
flags all 19 as needing an explicit backing entry and reads 22 of 41
operators backed.

Between the prefix and the explicit map, the audit backs a bare name by the
catalog functions whose @sqlfn is that name, the SQL name MobilityDB
declares for them. Over MobilityDB master b541442a30 it reads 41 of 41
operators backed, and the live gate of tests/test_portable_parity.py
requires every operator of the contract to be backed.
@estebanzimanyi
estebanzimanyi merged commit 6b5863c into MobilityDB:master Sep 14, 2026
2 checks passed
@estebanzimanyi
estebanzimanyi deleted the portable/back-bare-names-by-sqlfn branch September 14, 2026 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant