{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:XRQJTDETDBZW6OPOP55DNFL6NK","short_pith_number":"pith:XRQJTDET","schema_version":"1.0","canonical_sha256":"bc60998c9318736f39ee7f7a36957e6a9002a5e57faeb90dbe89dbd289bd44d7","source":{"kind":"arxiv","id":"1709.05376","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.05376","created_at":"2026-05-18T00:35:00.993259+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.05376v1","created_at":"2026-05-18T00:35:00.993259+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05376","created_at":"2026-05-18T00:35:00.993259+00:00"},{"alias_kind":"pith_short_12","alias_value":"XRQJTDETDBZW","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_16","alias_value":"XRQJTDETDBZW6OPO","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_8","alias_value":"XRQJTDET","created_at":"2026-05-18T12:31:56.362134+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/XRQJTDETDBZW6OPOP55DNFL6NK","json":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK.json","graph_json":"https://pith.science/api/pith-number/XRQJTDETDBZW6OPOP55DNFL6NK/graph.json","events_json":"https://pith.science/api/pith-number/XRQJTDETDBZW6OPOP55DNFL6NK/events.json","paper":"https://pith.science/paper/XRQJTDET"},"agent_actions":{"view_html":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK","download_json":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK.json","view_paper":"https://pith.science/paper/XRQJTDET","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.05376&json=true","fetch_graph":"https://pith.science/api/pith-number/XRQJTDETDBZW6OPOP55DNFL6NK/graph.json","fetch_events":"https://pith.science/api/pith-number/XRQJTDETDBZW6OPOP55DNFL6NK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/action/storage_attestation","attest_author":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/action/author_attestation","sign_citation":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/action/citation_signature","submit_replication":"https://pith.science/pith/XRQJTDETDBZW6OPOP55DNFL6NK/action/replication_record"}},"created_at":"2026-05-18T00:35:00.993259+00:00","updated_at":"2026-05-18T00:35:00.993259+00:00"}