{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:FVENVI5UP3W5OI23NOBK3IPPVP","short_pith_number":"pith:FVENVI5U","canonical_record":{"source":{"id":"1210.2688","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T18:48:08Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"c40695be910c55237af2a909d72893aaae3e9576d9001e0a1e64af24abf800fb","abstract_canon_sha256":"2b1f1953dc08b6071e8f7f68cc566c8d5396976d5c2b9a9744a780ea489db403"},"schema_version":"1.0"},"canonical_sha256":"2d48daa3b47eedd7235b6b82ada1efabeed547e9b531207237d503e5de6fe9a7","source":{"kind":"arxiv","id":"1210.2688","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2688","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2688v3","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2688","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"pith_short_12","alias_value":"FVENVI5UP3W5","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FVENVI5UP3W5OI23","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FVENVI5U","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:FVENVI5UP3W5OI23NOBK3IPPVP","target":"record","payload":{"canonical_record":{"source":{"id":"1210.2688","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T18:48:08Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"c40695be910c55237af2a909d72893aaae3e9576d9001e0a1e64af24abf800fb","abstract_canon_sha256":"2b1f1953dc08b6071e8f7f68cc566c8d5396976d5c2b9a9744a780ea489db403"},"schema_version":"1.0"},"canonical_sha256":"2d48daa3b47eedd7235b6b82ada1efabeed547e9b531207237d503e5de6fe9a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:20.682964Z","signature_b64":"obnumfMD2oJoFlnHWT2BQagRjK44XqGN7SYwIxZsRXE5Kg4W0HRTzkzMRBX1sD1OkZB4EbGIYs07Nk3txqAfAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d48daa3b47eedd7235b6b82ada1efabeed547e9b531207237d503e5de6fe9a7","last_reissued_at":"2026-05-18T02:55:20.682513Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:20.682513Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.2688","source_version":3,"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-18T02:55:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pnd7gXxlxembFjG9o202Mf6gV1P7u3VzVnAq+lDlgqFn8JtF5YvgM0DFYMfJvxyVQdOCfteJuZh9F34fd/yGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:17:03.493053Z"},"content_sha256":"7d86b3d02bf6924db44d743985ee14c4313fcafb251ab7eddce632be28672b86","schema_version":"1.0","event_id":"sha256:7d86b3d02bf6924db44d743985ee14c4313fcafb251ab7eddce632be28672b86"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:FVENVI5UP3W5OI23NOBK3IPPVP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Dirk Leinders, Dirk Van Gucht, George H. L. Fletcher, Jan Van den Bussche, Marc Gyssens, Stijn Vansummeren","submitted_at":"2012-10-09T18:48:08Z","abstract_excerpt":"Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators such as set difference, projection, coprojection, and residuation. For each considered fragment, a characterization is obtained for when two given binary relational structures are indistinguishable by expressions in that fragment. The characterizations are based on appropriately adapted notions of simulation and bisimulation."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2688","kind":"arxiv","version":3},"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-18T02:55:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Eb06g6TZPZfWu3XavAduQYFSopvCEpvHi8yQ0uzijwezqhujUA6bKhz9Bg7supH2WKArJs95aSe5wugAx+NAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:17:03.493701Z"},"content_sha256":"40c6aabaa62001bdc1d7b28bbd0caf325cb2a7342590f189872363e75ac6a9cb","schema_version":"1.0","event_id":"sha256:40c6aabaa62001bdc1d7b28bbd0caf325cb2a7342590f189872363e75ac6a9cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FVENVI5UP3W5OI23NOBK3IPPVP/bundle.json","state_url":"https://pith.science/pith/FVENVI5UP3W5OI23NOBK3IPPVP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FVENVI5UP3W5OI23NOBK3IPPVP/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-06T19:17:03Z","links":{"resolver":"https://pith.science/pith/FVENVI5UP3W5OI23NOBK3IPPVP","bundle":"https://pith.science/pith/FVENVI5UP3W5OI23NOBK3IPPVP/bundle.json","state":"https://pith.science/pith/FVENVI5UP3W5OI23NOBK3IPPVP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FVENVI5UP3W5OI23NOBK3IPPVP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FVENVI5UP3W5OI23NOBK3IPPVP","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":"2b1f1953dc08b6071e8f7f68cc566c8d5396976d5c2b9a9744a780ea489db403","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T18:48:08Z","title_canon_sha256":"c40695be910c55237af2a909d72893aaae3e9576d9001e0a1e64af24abf800fb"},"schema_version":"1.0","source":{"id":"1210.2688","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2688","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2688v3","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2688","created_at":"2026-05-18T02:55:20Z"},{"alias_kind":"pith_short_12","alias_value":"FVENVI5UP3W5","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FVENVI5UP3W5OI23","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FVENVI5U","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:40c6aabaa62001bdc1d7b28bbd0caf325cb2a7342590f189872363e75ac6a9cb","target":"graph","created_at":"2026-05-18T02:55:20Z","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":"Motivated by applications in databases, this paper considers various fragments of the calculus of binary relations. The fragments are obtained by leaving out, or keeping in, some of the standard operators, along with some derived operators such as set difference, projection, coprojection, and residuation. For each considered fragment, a characterization is obtained for when two given binary relational structures are indistinguishable by expressions in that fragment. The characterizations are based on appropriately adapted notions of simulation and bisimulation.","authors_text":"Dirk Leinders, Dirk Van Gucht, George H. L. Fletcher, Jan Van den Bussche, Marc Gyssens, Stijn Vansummeren","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T18:48:08Z","title":"Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2688","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:7d86b3d02bf6924db44d743985ee14c4313fcafb251ab7eddce632be28672b86","target":"record","created_at":"2026-05-18T02:55:20Z","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":"2b1f1953dc08b6071e8f7f68cc566c8d5396976d5c2b9a9744a780ea489db403","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T18:48:08Z","title_canon_sha256":"c40695be910c55237af2a909d72893aaae3e9576d9001e0a1e64af24abf800fb"},"schema_version":"1.0","source":{"id":"1210.2688","kind":"arxiv","version":3}},"canonical_sha256":"2d48daa3b47eedd7235b6b82ada1efabeed547e9b531207237d503e5de6fe9a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d48daa3b47eedd7235b6b82ada1efabeed547e9b531207237d503e5de6fe9a7","first_computed_at":"2026-05-18T02:55:20.682513Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:20.682513Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"obnumfMD2oJoFlnHWT2BQagRjK44XqGN7SYwIxZsRXE5Kg4W0HRTzkzMRBX1sD1OkZB4EbGIYs07Nk3txqAfAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:20.682964Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2688","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d86b3d02bf6924db44d743985ee14c4313fcafb251ab7eddce632be28672b86","sha256:40c6aabaa62001bdc1d7b28bbd0caf325cb2a7342590f189872363e75ac6a9cb"],"state_sha256":"36d7f7b9c985f2cabad6ba525ce1a473cdb917d5062a85f3854556fa57cebaae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xzp/PCfccXMDhQlfLLAzJCaEGslZHO10Sog9DcPVux1yDQ93IoaIkxatuuECZNVUQxC7uR5ZVxpRhBqFh3SQDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T19:17:03.496826Z","bundle_sha256":"2857a82b9626eb0b4af74ad3ea23c6a4ebccc409f7fb5e9a9f19a62d8f8838b0"}}