Data · dataset · 2026
Artifacts for: Identifiability of Relational Queries in Multi-View Pretraining
Listed in DaRUS
This dataset contains the complete replication artifacts for the paper Identifiability of Relational Queries in Multi-View Pretraining (Ratan Bahadur Thapa and Daniel Hernández).
Description
The paper studies when a relational query is identifiable from a data-integration interface—that is, when every legal completion of the data consistent with the interface returns the same answer—and introduces two polynomial-time schema-design algorithms: CheckCert, which decides certification via an attribute-closure certificate, and Greedy-MinAug, which selects a near-minimum set of interface actions (resolvers, crosswalks, shared identifiers) that make a query identifiable.
The deposit has three parts: Experiment code (Python). Implementations of both algorithms, the full experimental pipeline (error-floor, capability-jump, minimum-augmentation, certificate-benchmark, scalability, and real-world witness-discovery experiments), and the builders for every dataset used in the paper—a synthetic benchmark with exhaustive ground truth, the BibInteg bibliographic dataset, and the real cross-source datasets CrossKG-DBLP (OpenAlex × DBLP), Amazon-Google, and Fodors-Zagat, alongside the WDC schema case study.
Read the rest (3 more)
All figures and tables are regenerable from a documented set of Makefile targets. Lean 4 formalization. Machine-checked proofs of the paper's core results: correctness of the atom-wise closure certificate, the information-theoretic 1/2 error floor, the robust-threshold guarantee, the FD/Armstrong closure correspondence, and the reduction of identifiability to query determinacy over overlap-projection views (including Fano's inequality).
The distributional Fano corollary, the general capability-jump theorem, and the MinAug greedy bound and NP-hardness are documented as open in the formalization. Supplementary material. Artifacts referenced by the paper: BibInteg statistics, extended ML results, and FD-completeness curves.
Software dependencies and exact reproduction commands are given in the included README; provenance and licensing are in CITATION.cff and LICENSE. The artifacts accompany the arXiv preprint arXiv:2607.04735.
Links
Where it is published
- Dataverse dataset page darus.uni-stuttgart.de/dataset.xhtml?persistentId=doi%3A10.18419%2FDARUS-6292 ↗
landing page · from darus uni stuttgart de
- DOI doi.org/10.18419/darus-6292 ↗
DOI / persistent id · from darus uni stuttgart de
Catalogue records · 1
- Dataverse API darus.uni-stuttgart.de/api/datasets/:persistentId/?persistentId=doi%3A10.18419%2FDARU… ↗
metadata API · from darus uni stuttgart de
Topics
- Stated by source
- Computer and Information Science
- From keywords
- Computer Science & AI · Machine learning
Provenance · 1 source records, 9 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DaRUS | doi:10.18419/DARUS-6292 | 11 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:group:4611 | mapping · darus uni stuttgart de | vocabulary-mapper@1.0.0 | keywords['Machine Learning'] |
| concepts[field].dataverse_subject:computer-and-information-science | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].local:field:computer-science-ai | mapping · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| created_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| description | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /description |
| publication_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| title | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /name |
| updated_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| version_label | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 |