{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3KXW4VBYL5MZ2ZCPSZITM3763L","short_pith_number":"pith:3KXW4VBY","canonical_record":{"source":{"id":"1608.06169","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-08-22T14:03:46Z","cross_cats_sorted":[],"title_canon_sha256":"54fb2f1a501a196cb0d08f4f5ecd4ddbd43fcc4d3d943f18540e0cffdc4d0614","abstract_canon_sha256":"423cd3deca97d806fd443eeb4cce59eb25b0987e174c71593ee6555ab273dbea"},"schema_version":"1.0"},"canonical_sha256":"daaf6e54385f599d644f9651366ffedaf00aba39f25ffe821931d2fd10ac3099","source":{"kind":"arxiv","id":"1608.06169","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06169","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06169v2","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06169","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"pith_short_12","alias_value":"3KXW4VBYL5MZ","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3KXW4VBYL5MZ2ZCP","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3KXW4VBY","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3KXW4VBYL5MZ2ZCPSZITM3763L","target":"record","payload":{"canonical_record":{"source":{"id":"1608.06169","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-08-22T14:03:46Z","cross_cats_sorted":[],"title_canon_sha256":"54fb2f1a501a196cb0d08f4f5ecd4ddbd43fcc4d3d943f18540e0cffdc4d0614","abstract_canon_sha256":"423cd3deca97d806fd443eeb4cce59eb25b0987e174c71593ee6555ab273dbea"},"schema_version":"1.0"},"canonical_sha256":"daaf6e54385f599d644f9651366ffedaf00aba39f25ffe821931d2fd10ac3099","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:15.731607Z","signature_b64":"vGEiKGMxvC3MLOQLza2EF4utXIuKnmO8t5zho7iimU2Shgt0wY8vWgNzVA5ehogclgVpzodv0+ahCNh0fdMPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daaf6e54385f599d644f9651366ffedaf00aba39f25ffe821931d2fd10ac3099","last_reissued_at":"2026-05-18T01:08:15.731151Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:15.731151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.06169","source_version":2,"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-18T01:08:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pf4SAS8NKmlpjBX8azJ1wCg/HFHaOYRFsziKUuvCMSuqp+MVaJ27Wtyej9vCDQ0Gawuwz7nY+fwB4z+21CHvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T04:22:12.862126Z"},"content_sha256":"bcfd153800d51a3bf5d50399d2d5919a6fcad75e712973f53cd860f21f13ecbe","schema_version":"1.0","event_id":"sha256:bcfd153800d51a3bf5d50399d2d5919a6fcad75e712973f53cd860f21f13ecbe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3KXW4VBYL5MZ2ZCPSZITM3763L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Divesh Srivastava, Jaroslaw Szlichta, Lukasz Golab, Mehdi Kargar, Parke Godfrey","submitted_at":"2016-08-22T14:03:46Z","abstract_excerpt":"Integrity constraints (ICs) provide a valuable tool for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming, especially on large datasets. Hence, proposals for automatic discovery have been made for some classes of ICs, such as functional dependencies (FDs), and recently, order dependencies (ODs). ODs properly subsume FDs, as they can additionally express business rules involving order; e.g., an employee never has a higher salary while paying lower taxes compared wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06169","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"},"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-18T01:08:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E92s2yPfFEeUNudJ8YcPTZ9Wx+QrNzAPK2WcwZltIY0HDUFiRxvWATR8X/RpIQyfzbPODUmCpGrQrbOmQgMMAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T04:22:12.862999Z"},"content_sha256":"61b1d32b43b547299bcc22977580215cd7743ffc9478a6c54eafe482d74d71d5","schema_version":"1.0","event_id":"sha256:61b1d32b43b547299bcc22977580215cd7743ffc9478a6c54eafe482d74d71d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/bundle.json","state_url":"https://pith.science/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/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-05-19T04:22:12Z","links":{"resolver":"https://pith.science/pith/3KXW4VBYL5MZ2ZCPSZITM3763L","bundle":"https://pith.science/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/bundle.json","state":"https://pith.science/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3KXW4VBYL5MZ2ZCPSZITM3763L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3KXW4VBYL5MZ2ZCPSZITM3763L","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":"423cd3deca97d806fd443eeb4cce59eb25b0987e174c71593ee6555ab273dbea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-08-22T14:03:46Z","title_canon_sha256":"54fb2f1a501a196cb0d08f4f5ecd4ddbd43fcc4d3d943f18540e0cffdc4d0614"},"schema_version":"1.0","source":{"id":"1608.06169","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06169","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06169v2","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06169","created_at":"2026-05-18T01:08:15Z"},{"alias_kind":"pith_short_12","alias_value":"3KXW4VBYL5MZ","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3KXW4VBYL5MZ2ZCP","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3KXW4VBY","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:61b1d32b43b547299bcc22977580215cd7743ffc9478a6c54eafe482d74d71d5","target":"graph","created_at":"2026-05-18T01:08:15Z","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":"Integrity constraints (ICs) provide a valuable tool for expressing and enforcing application semantics. However, formulating constraints manually requires domain expertise, is prone to human errors, and may be excessively time consuming, especially on large datasets. Hence, proposals for automatic discovery have been made for some classes of ICs, such as functional dependencies (FDs), and recently, order dependencies (ODs). ODs properly subsume FDs, as they can additionally express business rules involving order; e.g., an employee never has a higher salary while paying lower taxes compared wit","authors_text":"Divesh Srivastava, Jaroslaw Szlichta, Lukasz Golab, Mehdi Kargar, Parke Godfrey","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-08-22T14:03:46Z","title":"Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06169","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:bcfd153800d51a3bf5d50399d2d5919a6fcad75e712973f53cd860f21f13ecbe","target":"record","created_at":"2026-05-18T01:08:15Z","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":"423cd3deca97d806fd443eeb4cce59eb25b0987e174c71593ee6555ab273dbea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-08-22T14:03:46Z","title_canon_sha256":"54fb2f1a501a196cb0d08f4f5ecd4ddbd43fcc4d3d943f18540e0cffdc4d0614"},"schema_version":"1.0","source":{"id":"1608.06169","kind":"arxiv","version":2}},"canonical_sha256":"daaf6e54385f599d644f9651366ffedaf00aba39f25ffe821931d2fd10ac3099","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"daaf6e54385f599d644f9651366ffedaf00aba39f25ffe821931d2fd10ac3099","first_computed_at":"2026-05-18T01:08:15.731151Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:15.731151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vGEiKGMxvC3MLOQLza2EF4utXIuKnmO8t5zho7iimU2Shgt0wY8vWgNzVA5ehogclgVpzodv0+ahCNh0fdMPBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:15.731607Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.06169","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bcfd153800d51a3bf5d50399d2d5919a6fcad75e712973f53cd860f21f13ecbe","sha256:61b1d32b43b547299bcc22977580215cd7743ffc9478a6c54eafe482d74d71d5"],"state_sha256":"79ad07b9c2b514f05ad4c6c42c71734f903ce618082a0765eb714b2c4cf35e8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OD77qd0ni/CjfUGnGKq5vSuREgYxM/k1gs8UoYjF9sIf5LNnO788gUPfPX5/pDVn1DfzoPyMDQ+vh+OUWxeaDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T04:22:12.865903Z","bundle_sha256":"c4bf4a03cff498afff122ef1b43c6b967cacb13b5a055faa6f8845518eba8fd6"}}