{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:OESVGFGFKQFQBTWCESEFDUVAXX","short_pith_number":"pith:OESVGFGF","schema_version":"1.0","canonical_sha256":"71255314c5540b00cec2248851d2a0bdcaa8fe4dd33b2c23da788b3991a34ecd","source":{"kind":"arxiv","id":"2212.11362","version":7},"attestation_state":"computed","paper":{"title":"Tighter Bounds for Query Answering with Guarded TGDs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antoine Amarilli, Michael Benedikt","submitted_at":"2022-12-21T20:59:14Z","abstract_excerpt":"We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an initial set of facts and a set of guarded TGDs. This problem has been well-studied in the literature and is decidable but with a high complexity, namely, it is 2EXPTIME complete. Further, the complexity shrinks by one exponential when the arity is fixed.\n  We show in this paper how we can obtain better complexity bounds when considering separately the arity of the guard atom and that of the additional atoms, called the "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2212.11362","kind":"arxiv","version":7},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-12-21T20:59:14Z","cross_cats_sorted":[],"title_canon_sha256":"dfae757a10600d975f6ae95c4769d484769d2aa31c002bed2d0d9cb5f5e8ddf9","abstract_canon_sha256":"3b60d72123cfc67a85701c777882acc660a2ce44aaf4f235620fdc3e7a308510"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:04:47.916332Z","signature_b64":"VG7E1p9fadfChTsQwGGHn8ybkpATCg0+6iRsJQnMzHAv+WGUEk7TfHUf0mbCT28nUI1gZ6KVm1qxduBPVfexAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71255314c5540b00cec2248851d2a0bdcaa8fe4dd33b2c23da788b3991a34ecd","last_reissued_at":"2026-05-20T01:04:47.915717Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:04:47.915717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tighter Bounds for Query Answering with Guarded TGDs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antoine Amarilli, Michael Benedikt","submitted_at":"2022-12-21T20:59:14Z","abstract_excerpt":"We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an initial set of facts and a set of guarded TGDs. This problem has been well-studied in the literature and is decidable but with a high complexity, namely, it is 2EXPTIME complete. Further, the complexity shrinks by one exponential when the arity is fixed.\n  We show in this paper how we can obtain better complexity bounds when considering separately the arity of the guard atom and that of the additional atoms, called the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.11362","kind":"arxiv","version":7},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2212.11362/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2212.11362","created_at":"2026-05-20T01:04:47.915831+00:00"},{"alias_kind":"arxiv_version","alias_value":"2212.11362v7","created_at":"2026-05-20T01:04:47.915831+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.11362","created_at":"2026-05-20T01:04:47.915831+00:00"},{"alias_kind":"pith_short_12","alias_value":"OESVGFGFKQFQ","created_at":"2026-05-20T01:04:47.915831+00:00"},{"alias_kind":"pith_short_16","alias_value":"OESVGFGFKQFQBTWC","created_at":"2026-05-20T01:04:47.915831+00:00"},{"alias_kind":"pith_short_8","alias_value":"OESVGFGF","created_at":"2026-05-20T01:04:47.915831+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX","json":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX.json","graph_json":"https://pith.science/api/pith-number/OESVGFGFKQFQBTWCESEFDUVAXX/graph.json","events_json":"https://pith.science/api/pith-number/OESVGFGFKQFQBTWCESEFDUVAXX/events.json","paper":"https://pith.science/paper/OESVGFGF"},"agent_actions":{"view_html":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX","download_json":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX.json","view_paper":"https://pith.science/paper/OESVGFGF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2212.11362&json=true","fetch_graph":"https://pith.science/api/pith-number/OESVGFGFKQFQBTWCESEFDUVAXX/graph.json","fetch_events":"https://pith.science/api/pith-number/OESVGFGFKQFQBTWCESEFDUVAXX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX/action/storage_attestation","attest_author":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX/action/author_attestation","sign_citation":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX/action/citation_signature","submit_replication":"https://pith.science/pith/OESVGFGFKQFQBTWCESEFDUVAXX/action/replication_record"}},"created_at":"2026-05-20T01:04:47.915831+00:00","updated_at":"2026-05-20T01:04:47.915831+00:00"}