{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:KSAG4KZA7UHVD6B5NVRHJUURY4","short_pith_number":"pith:KSAG4KZA","canonical_record":{"source":{"id":"2205.14857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2022-05-30T05:21:26Z","cross_cats_sorted":[],"title_canon_sha256":"2f3e48ba60d19ac2bfa3aa3a85b49391caa9eec35b63ef656c97f585f3815d76","abstract_canon_sha256":"838be38423d424c6c0a37a67e409e4de6c37dd0c295fa012c832c99643754c01"},"schema_version":"1.0"},"canonical_sha256":"54806e2b20fd0f51f83d6d6274d291c71216c53f75ee5dcebf9e2f4e34500448","source":{"kind":"arxiv","id":"2205.14857","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.14857","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"arxiv_version","alias_value":"2205.14857v2","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.14857","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_12","alias_value":"KSAG4KZA7UHV","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_16","alias_value":"KSAG4KZA7UHVD6B5","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_8","alias_value":"KSAG4KZA","created_at":"2026-07-05T04:55:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:KSAG4KZA7UHVD6B5NVRHJUURY4","target":"record","payload":{"canonical_record":{"source":{"id":"2205.14857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2022-05-30T05:21:26Z","cross_cats_sorted":[],"title_canon_sha256":"2f3e48ba60d19ac2bfa3aa3a85b49391caa9eec35b63ef656c97f585f3815d76","abstract_canon_sha256":"838be38423d424c6c0a37a67e409e4de6c37dd0c295fa012c832c99643754c01"},"schema_version":"1.0"},"canonical_sha256":"54806e2b20fd0f51f83d6d6274d291c71216c53f75ee5dcebf9e2f4e34500448","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:55:00.072278Z","signature_b64":"PITmHI3TuFKgdsodk+hpMXYebF6VWZ75KbPXSG0tTuUsoBFQsnmgTEf79YNwuMQ5mj4GmqblKtroXFdadMaiCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54806e2b20fd0f51f83d6d6274d291c71216c53f75ee5dcebf9e2f4e34500448","last_reissued_at":"2026-07-05T04:55:00.071819Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:55:00.071819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.14857","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-07-05T04:55:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H5LvXRWIyL7eQVLePLDmf1yt2iIHFekXZiexxchGpTF5mBnLVHsbt9Sx5dofTRiYzI4kmxCEAqmFGB8EB26bDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:54:22.024691Z"},"content_sha256":"6f15c7b778ea0ba6e748e277c85eabdd48c224ea520506cc51efbe1b28dea1c7","schema_version":"1.0","event_id":"sha256:6f15c7b778ea0ba6e748e277c85eabdd48c224ea520506cc51efbe1b28dea1c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:KSAG4KZA7UHVD6B5NVRHJUURY4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Carlo Zaniolo, Guorui Xiao, Jin Wang, Mingda Li, Youfu Li","submitted_at":"2022-05-30T05:21:26Z","abstract_excerpt":"With the ever-increasing volume of data, there is an urgent need to provide expressive and efficient tools to support Big Data analytics. The declarative logical language Datalog has proven very effective at expressing concisely graph, machine learning, and knowledge discovery applications via recursive queries. In this demonstration, we develop Logic Library (LLib), a library of recursive algorithms written in Datalog that can be executed in BigDatalog, a Datalog engine on top of Apache Spark developed by us. LLib encapsulates complex logic-based algorithms into high-level APIs, which simplif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.14857","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2205.14857/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:55:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GABaMkBV4ZnNvLutrmd9f2sRELxM7rAx3LhFw4J10gBmREG6F+RsjlrT5YFM9FsQ1pHL2gKWZtyM+fp4dc6ZAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:54:22.025642Z"},"content_sha256":"54d38abe6cb25b0206b6ca442cabc382ca26911b6583a8abe57a61fb6698f296","schema_version":"1.0","event_id":"sha256:54d38abe6cb25b0206b6ca442cabc382ca26911b6583a8abe57a61fb6698f296"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/bundle.json","state_url":"https://pith.science/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/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-08-17T12:54:22Z","links":{"resolver":"https://pith.science/pith/KSAG4KZA7UHVD6B5NVRHJUURY4","bundle":"https://pith.science/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/bundle.json","state":"https://pith.science/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KSAG4KZA7UHVD6B5NVRHJUURY4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:KSAG4KZA7UHVD6B5NVRHJUURY4","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":"838be38423d424c6c0a37a67e409e4de6c37dd0c295fa012c832c99643754c01","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2022-05-30T05:21:26Z","title_canon_sha256":"2f3e48ba60d19ac2bfa3aa3a85b49391caa9eec35b63ef656c97f585f3815d76"},"schema_version":"1.0","source":{"id":"2205.14857","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.14857","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"arxiv_version","alias_value":"2205.14857v2","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.14857","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_12","alias_value":"KSAG4KZA7UHV","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_16","alias_value":"KSAG4KZA7UHVD6B5","created_at":"2026-07-05T04:55:00Z"},{"alias_kind":"pith_short_8","alias_value":"KSAG4KZA","created_at":"2026-07-05T04:55:00Z"}],"graph_snapshots":[{"event_id":"sha256:54d38abe6cb25b0206b6ca442cabc382ca26911b6583a8abe57a61fb6698f296","target":"graph","created_at":"2026-07-05T04:55: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2205.14857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the ever-increasing volume of data, there is an urgent need to provide expressive and efficient tools to support Big Data analytics. The declarative logical language Datalog has proven very effective at expressing concisely graph, machine learning, and knowledge discovery applications via recursive queries. In this demonstration, we develop Logic Library (LLib), a library of recursive algorithms written in Datalog that can be executed in BigDatalog, a Datalog engine on top of Apache Spark developed by us. LLib encapsulates complex logic-based algorithms into high-level APIs, which simplif","authors_text":"Carlo Zaniolo, Guorui Xiao, Jin Wang, Mingda Li, Youfu Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2022-05-30T05:21:26Z","title":"Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.14857","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:6f15c7b778ea0ba6e748e277c85eabdd48c224ea520506cc51efbe1b28dea1c7","target":"record","created_at":"2026-07-05T04:55: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":"838be38423d424c6c0a37a67e409e4de6c37dd0c295fa012c832c99643754c01","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2022-05-30T05:21:26Z","title_canon_sha256":"2f3e48ba60d19ac2bfa3aa3a85b49391caa9eec35b63ef656c97f585f3815d76"},"schema_version":"1.0","source":{"id":"2205.14857","kind":"arxiv","version":2}},"canonical_sha256":"54806e2b20fd0f51f83d6d6274d291c71216c53f75ee5dcebf9e2f4e34500448","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54806e2b20fd0f51f83d6d6274d291c71216c53f75ee5dcebf9e2f4e34500448","first_computed_at":"2026-07-05T04:55:00.071819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:55:00.071819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PITmHI3TuFKgdsodk+hpMXYebF6VWZ75KbPXSG0tTuUsoBFQsnmgTEf79YNwuMQ5mj4GmqblKtroXFdadMaiCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:55:00.072278Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.14857","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6f15c7b778ea0ba6e748e277c85eabdd48c224ea520506cc51efbe1b28dea1c7","sha256:54d38abe6cb25b0206b6ca442cabc382ca26911b6583a8abe57a61fb6698f296"],"state_sha256":"33133880b46d2b7918a57ef0e86a65b3ad757a04de1df3ab3e048a39d3ef3c89"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6qUYPwDsRkurU0HGewRC6tuaXy1gYkS1czf2R0j9jpEovkPIbWMpdGjshEOSfUPaJXfpnIEB3PTRjKnMsnNGAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T12:54:22.032511Z","bundle_sha256":"5ffb8d817ede08e5fb492341bef2ffd0b04bb7dc4770bb430f0129106133e277"}}