{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XRQJTDETDBZW6OPOP55DNFL6NK","short_pith_number":"pith:XRQJTDET","canonical_record":{"source":{"id":"1709.05376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T19:23:30Z","cross_cats_sorted":["cs.DB","cs.LO"],"title_canon_sha256":"2cdb70661e39eaab01f7deb5933047470a95528f80ed74c55eec16ed7b8ac5e6","abstract_canon_sha256":"c01e1791a089993c80b4a3b1fbc70b3470edcfd720d7420c4b8c6dd93ba52ef9"},"schema_version":"1.0"},"canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","source":{"kind":"arxiv","id":"1709.05376","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.05376","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"arxiv_version","alias_value":"1709.05376v1","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05376","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"pith_short_12","alias_value":"XRQJTDETDBZW","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XRQJTDETDBZW6OPO","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XRQJTDET","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XRQJTDETDBZW6OPOP55DNFL6NK","target":"record","payload":{"canonical_record":{"source":{"id":"1709.05376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T19:23:30Z","cross_cats_sorted":["cs.DB","cs.LO"],"title_canon_sha256":"2cdb70661e39eaab01f7deb5933047470a95528f80ed74c55eec16ed7b8ac5e6","abstract_canon_sha256":"c01e1791a089993c80b4a3b1fbc70b3470edcfd720d7420c4b8c6dd93ba52ef9"},"schema_version":"1.0"},"canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:00.993816Z","signature_b64":"1Haa20uBxro9Ci2VOg2/9VkJDdYsr6hCOq2ggdZjhOMxbWuMvjbM1n/EXo6S7t/LhbIqclB9VSpFCVFglxO3Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","last_reissued_at":"2026-05-18T00:35:00.993166Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:00.993166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.05376","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eqQjbfVId2hp4ah16qvfKPVxsrKHNz39DExm13eug9HEhVPkAQMfrDzeDA6I8SrcqD4bxLG0MKvLEuTw7flBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T11:53:07.357921Z"},"content_sha256":"ead8f2d10ccd8b29115918a7f8c6500b8e7385b3afeea2adb39c16b3552090d7","schema_version":"1.0","event_id":"sha256:ead8f2d10ccd8b29115918a7f8c6500b8e7385b3afeea2adb39c16b3552090d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XRQJTDETDBZW6OPOP55DNFL6NK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Rule-Based Approach to Analyzing Database Schema Objects with Datalog","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.LO"],"primary_cat":"cs.PL","authors_text":"Andreas Behrend, Christiane Engels, Stefan Brass","submitted_at":"2017-09-15T19:23:30Z","abstract_excerpt":"Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.05376","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gTHasp6In63kFOMpHkty7wHYS+C2eOXYN3ks9QaLSnu+rML4JK1WR1UIRN4Yj612i13QXN2QQ7zpDE18zadmAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T11:53:07.358275Z"},"content_sha256":"411c2e967cf4d9cbc88317abf7f14bdc92f331002da42285204101bffd2894e5","schema_version":"1.0","event_id":"sha256:411c2e967cf4d9cbc88317abf7f14bdc92f331002da42285204101bffd2894e5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/bundle.json","state_url":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XRQJTDETDBZW6OPOP55DNFL6NK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-25T11:53:07Z","links":{"resolver":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK","bundle":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/bundle.json","state":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XRQJTDETDBZW6OPOP55DNFL6NK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XRQJTDETDBZW6OPOP55DNFL6NK","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":"c01e1791a089993c80b4a3b1fbc70b3470edcfd720d7420c4b8c6dd93ba52ef9","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T19:23:30Z","title_canon_sha256":"2cdb70661e39eaab01f7deb5933047470a95528f80ed74c55eec16ed7b8ac5e6"},"schema_version":"1.0","source":{"id":"1709.05376","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.05376","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"arxiv_version","alias_value":"1709.05376v1","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05376","created_at":"2026-05-18T00:35:00Z"},{"alias_kind":"pith_short_12","alias_value":"XRQJTDETDBZW","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XRQJTDETDBZW6OPO","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XRQJTDET","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:411c2e967cf4d9cbc88317abf7f14bdc92f331002da42285204101bffd2894e5","target":"graph","created_at":"2026-05-18T00:35:00Z","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":"Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an i","authors_text":"Andreas Behrend, Christiane Engels, Stefan Brass","cross_cats":["cs.DB","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T19:23:30Z","title":"A Rule-Based Approach to Analyzing Database Schema Objects with Datalog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.05376","kind":"arxiv","version":1},"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:ead8f2d10ccd8b29115918a7f8c6500b8e7385b3afeea2adb39c16b3552090d7","target":"record","created_at":"2026-05-18T00:35:00Z","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":"c01e1791a089993c80b4a3b1fbc70b3470edcfd720d7420c4b8c6dd93ba52ef9","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-15T19:23:30Z","title_canon_sha256":"2cdb70661e39eaab01f7deb5933047470a95528f80ed74c55eec16ed7b8ac5e6"},"schema_version":"1.0","source":{"id":"1709.05376","kind":"arxiv","version":1}},"canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","first_computed_at":"2026-05-18T00:35:00.993166Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:00.993166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1Haa20uBxro9Ci2VOg2/9VkJDdYsr6hCOq2ggdZjhOMxbWuMvjbM1n/EXo6S7t/LhbIqclB9VSpFCVFglxO3Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:00.993816Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.05376","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ead8f2d10ccd8b29115918a7f8c6500b8e7385b3afeea2adb39c16b3552090d7","sha256:411c2e967cf4d9cbc88317abf7f14bdc92f331002da42285204101bffd2894e5"],"state_sha256":"80b0b9a028900ab8e03d2a0e714812be16fde4952e0555a469d7dd2fc00d7e14"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ehYLsNE5sDq/5sJs/zjx716ANrKAN2NXbuxyXgBASv2zxGQCBMc398cBf0r45kC0I6EZVhx9Ni7fU3YuW+FDCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T11:53:07.360233Z","bundle_sha256":"70790c1f37e6dba8c1800bcd28a78e37fcc73988e521ab1f3f24480a4a6d0167"}}