{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EOQD2KDYDTKHW6CANDB7ECEDOB","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"dfbcec9781c3ce95dc1793cce35f543e30c46d5d4a7d2f5ecc4eefa8836ec5c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-11-03T15:00:40Z","title_canon_sha256":"c6b76315c88335e15bbb93c3f6cde65886db88617de5224ad0978664fbb032eb"},"schema_version":"1.0","source":{"id":"1511.00938","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.00938","created_at":"2026-05-18T00:53:08Z"},{"alias_kind":"arxiv_version","alias_value":"1511.00938v2","created_at":"2026-05-18T00:53:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.00938","created_at":"2026-05-18T00:53:08Z"},{"alias_kind":"pith_short_12","alias_value":"EOQD2KDYDTKH","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EOQD2KDYDTKHW6CA","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EOQD2KDY","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:c9e227be3a64c9e30b298270eed134401f31f9bc61f6ab88bc81483fa32c4003","target":"graph","created_at":"2026-05-18T00:53:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We consider query answering using views on graph databases, i.e. databases structured as edge-labeled graphs. We mainly consider views and queries specified by Regular Path Queries (RPQ). These are queries selecting pairs of nodes in a graph database that are connected via a path whose sequence of edge labels belongs to some regular language. We say that a view V determines a query Q if for all graph databases D, the view image V(D) always contains enough information to answer Q on D. In other words, there is a well defined function from V(D) to Q(D). Our main result shows that when this funct","authors_text":"CNRS, Cristina Sirangelo (ENS Cachan, INRIA), Luc Segoufin (INRIA & ENS Cachan), Nadime Francis (ENS Cachan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-11-03T15:00:40Z","title":"Datalog Rewritings of Regular Path Queries using Views"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.00938","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c9cb9230e472aaefe4aa4cc0bedd3acd42be309630ea18513ef279a871c987c3","target":"record","created_at":"2026-05-18T00:53:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"dfbcec9781c3ce95dc1793cce35f543e30c46d5d4a7d2f5ecc4eefa8836ec5c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-11-03T15:00:40Z","title_canon_sha256":"c6b76315c88335e15bbb93c3f6cde65886db88617de5224ad0978664fbb032eb"},"schema_version":"1.0","source":{"id":"1511.00938","kind":"arxiv","version":2}},"canonical_sha256":"23a03d28781cd47b784068c3f2088370693ef2872e635189cc4d051a7c5abc3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23a03d28781cd47b784068c3f2088370693ef2872e635189cc4d051a7c5abc3a","first_computed_at":"2026-05-18T00:53:08.737911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:08.737911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pHuh3kS4l+bbxqzFMJCuiiDHqynX3OZMdPZRPvYwdlN3aFeCFQ3pIIbGk+k3MrvqKUeJe9MJdC3zT6WVhOvTAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:08.738340Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.00938","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9cb9230e472aaefe4aa4cc0bedd3acd42be309630ea18513ef279a871c987c3","sha256:c9e227be3a64c9e30b298270eed134401f31f9bc61f6ab88bc81483fa32c4003"],"state_sha256":"fc279947e5bf001577806117d6a369eaddd7f38b9fecb2ec6957f296e2f158a6"}