{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:22RIYKG2WMXWNLWT54UUERCFHE","short_pith_number":"pith:22RIYKG2","schema_version":"1.0","canonical_sha256":"d6a28c28dab32f66aed3ef2942444539350a8a082a9180628a3bc72720f7b37a","source":{"kind":"arxiv","id":"1804.07099","version":2},"attestation_state":"computed","paper":{"title":"Loop Restricted Existential Rules and First-order Rewritability for Query Answering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.LO"],"primary_cat":"cs.AI","authors_text":"Heng Zhang, Vernon Asuncion, Weisheng Si, Yan Zhang, Yun Bai","submitted_at":"2018-04-19T11:45:14Z","abstract_excerpt":"In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple-generating dependencies (TGDs), also called existential rules, where Horn rules are extended by allowing existential quantifiers to appear in the rule heads. In this paper we introduce a new language called loop restricted (LR) TGDs (existential rules), which are TGDs with certain restrictions on the loops embedded in the underlying rule set. We study the complexity of this new l"},"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":"1804.07099","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-19T11:45:14Z","cross_cats_sorted":["cs.DB","cs.LO"],"title_canon_sha256":"6dd9b441b88bae0b589cbac8a1a279dec11686bead3204a42f5e3c893a0afd61","abstract_canon_sha256":"10a98f5741d46b04351e16411a94f408cd8c371feceb3d6ea628b40c70e1d713"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:05.474654Z","signature_b64":"CpB2ylKeiSA8cXPU3CdHDn67y2JR2wLpnuzDPsb96RG6U3JOUBAi+5DI+o2i6VEt0a+ItT5wAvWpRtPmSMODAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6a28c28dab32f66aed3ef2942444539350a8a082a9180628a3bc72720f7b37a","last_reissued_at":"2026-05-18T00:09:05.474007Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:05.474007Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Loop Restricted Existential Rules and First-order Rewritability for Query Answering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.LO"],"primary_cat":"cs.AI","authors_text":"Heng Zhang, Vernon Asuncion, Weisheng Si, Yan Zhang, Yun Bai","submitted_at":"2018-04-19T11:45:14Z","abstract_excerpt":"In ontology-based data access (OBDA), the classical database is enhanced with an ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple-generating dependencies (TGDs), also called existential rules, where Horn rules are extended by allowing existential quantifiers to appear in the rule heads. In this paper we introduce a new language called loop restricted (LR) TGDs (existential rules), which are TGDs with certain restrictions on the loops embedded in the underlying rule set. We study the complexity of this new l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07099","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1804.07099","created_at":"2026-05-18T00:09:05.474102+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.07099v2","created_at":"2026-05-18T00:09:05.474102+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07099","created_at":"2026-05-18T00:09:05.474102+00:00"},{"alias_kind":"pith_short_12","alias_value":"22RIYKG2WMXW","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_16","alias_value":"22RIYKG2WMXWNLWT","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_8","alias_value":"22RIYKG2","created_at":"2026-05-18T12:31:59.375834+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/22RIYKG2WMXWNLWT54UUERCFHE","json":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE.json","graph_json":"https://pith.science/api/pith-number/22RIYKG2WMXWNLWT54UUERCFHE/graph.json","events_json":"https://pith.science/api/pith-number/22RIYKG2WMXWNLWT54UUERCFHE/events.json","paper":"https://pith.science/paper/22RIYKG2"},"agent_actions":{"view_html":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE","download_json":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE.json","view_paper":"https://pith.science/paper/22RIYKG2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.07099&json=true","fetch_graph":"https://pith.science/api/pith-number/22RIYKG2WMXWNLWT54UUERCFHE/graph.json","fetch_events":"https://pith.science/api/pith-number/22RIYKG2WMXWNLWT54UUERCFHE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE/action/storage_attestation","attest_author":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE/action/author_attestation","sign_citation":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE/action/citation_signature","submit_replication":"https://pith.science/pith/22RIYKG2WMXWNLWT54UUERCFHE/action/replication_record"}},"created_at":"2026-05-18T00:09:05.474102+00:00","updated_at":"2026-05-18T00:09:05.474102+00:00"}