{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IAC5RVQNJ3FS5MTJRQDYOWCZSG","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":"e1dd8014c83d63d4592e4cc7e8876edd5958f97b4353b1f224468ddce2cccfa8","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-04-30T03:55:48Z","title_canon_sha256":"b8f046b312b8aae532d212097e99df4ec1fa57e75bdf84dd1984a0168fc36070"},"schema_version":"1.0","source":{"id":"2504.21291","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21291","created_at":"2026-06-02T01:04:14Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21291v3","created_at":"2026-06-02T01:04:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21291","created_at":"2026-06-02T01:04:14Z"},{"alias_kind":"pith_short_12","alias_value":"IAC5RVQNJ3FS","created_at":"2026-06-02T01:04:14Z"},{"alias_kind":"pith_short_16","alias_value":"IAC5RVQNJ3FS5MTJ","created_at":"2026-06-02T01:04:14Z"},{"alias_kind":"pith_short_8","alias_value":"IAC5RVQN","created_at":"2026-06-02T01:04:14Z"}],"graph_snapshots":[{"event_id":"sha256:1b7e73e6afeede96d7f2428b340ea838182b6196365575ee9a2e264efd56381a","target":"graph","created_at":"2026-06-02T01:04:14Z","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/2504.21291/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic rules allow analysis of complex relationships to be expressed easily, especially for transitive relations in critical applications. However, understanding and predicting the efficiency of different inference methods remain challenging, even for simplest rules given different kinds of input data.\n  This paper analyzes the efficiency of all three types of well-known inference methods -- query-driven, ground-and-solve, and fact-driven -- along with their respective optimizations, and compares with optimal complexities for the first time, for analyzing transitive graph relations. We also exp","authors_text":"John Idogun, Scott D. Stoller, Yanhong A. Liu, Yi Tong","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-04-30T03:55:48Z","title":"Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.21291","kind":"arxiv","version":3},"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:233471cbf9102bf82fe480d1599f901781fec8408cf014612cfd7eaa71e04df9","target":"record","created_at":"2026-06-02T01:04:14Z","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":"e1dd8014c83d63d4592e4cc7e8876edd5958f97b4353b1f224468ddce2cccfa8","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-04-30T03:55:48Z","title_canon_sha256":"b8f046b312b8aae532d212097e99df4ec1fa57e75bdf84dd1984a0168fc36070"},"schema_version":"1.0","source":{"id":"2504.21291","kind":"arxiv","version":3}},"canonical_sha256":"4005d8d60d4ecb2eb2698c0787585991821fb7f5ebee1df10cd53200b3b1bb46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4005d8d60d4ecb2eb2698c0787585991821fb7f5ebee1df10cd53200b3b1bb46","first_computed_at":"2026-06-02T01:04:14.594166Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:04:14.594166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jpnyV+JhV7Q+he/Lwnzrfa7Cl5zAuNJS2pTVO5i4wM08qmrIB2uIQpQZQM3fA46F6pbG9QEGoX0KW+K0V8EVCQ==","signature_status":"signed_v1","signed_at":"2026-06-02T01:04:14.594644Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.21291","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:233471cbf9102bf82fe480d1599f901781fec8408cf014612cfd7eaa71e04df9","sha256:1b7e73e6afeede96d7f2428b340ea838182b6196365575ee9a2e264efd56381a"],"state_sha256":"14b79201ddcbb953f3462ec93d43b583b0118a2f2dccb9fad705e9dca288fe87"}