{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RUKZQ2CNJ4BMWJZYUFRZKQ6FNI","short_pith_number":"pith:RUKZQ2CN","canonical_record":{"source":{"id":"1710.11500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T13:28:14Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"3e9160c2fc187785af87f39467dccbed69bfab43bc2374e8499535eeb6571498","abstract_canon_sha256":"350d26c6f02558a675707db1df8cfed0108722b4bb60c052bdc44bf404b361e1"},"schema_version":"1.0"},"canonical_sha256":"8d1598684d4f02cb2738a1639543c56a0fe42ce84c8f3731a6810e6b70be4259","source":{"kind":"arxiv","id":"1710.11500","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.11500","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"arxiv_version","alias_value":"1710.11500v1","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.11500","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"pith_short_12","alias_value":"RUKZQ2CNJ4BM","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RUKZQ2CNJ4BMWJZY","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RUKZQ2CN","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RUKZQ2CNJ4BMWJZYUFRZKQ6FNI","target":"record","payload":{"canonical_record":{"source":{"id":"1710.11500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T13:28:14Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"3e9160c2fc187785af87f39467dccbed69bfab43bc2374e8499535eeb6571498","abstract_canon_sha256":"350d26c6f02558a675707db1df8cfed0108722b4bb60c052bdc44bf404b361e1"},"schema_version":"1.0"},"canonical_sha256":"8d1598684d4f02cb2738a1639543c56a0fe42ce84c8f3731a6810e6b70be4259","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:37.129541Z","signature_b64":"zLjs+MjHDQf6aBZQkKx4/vqSzUC0wC/CaaeL8dhfmzmPlOrZj1GMHfTcIQCPHbXA0YKwzVaZWzpt6DtO0F5rAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d1598684d4f02cb2738a1639543c56a0fe42ce84c8f3731a6810e6b70be4259","last_reissued_at":"2026-05-18T00:31:37.129038Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:37.129038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.11500","source_version":1,"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-18T00:31:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kfw5aBij5L9le+rQ7PQOtGEqPbt2WXlGi77nHfW7kqUl/tUyTLXFH4PTBPsqaNJZ/m520GDmCrrk7S+BFWEvAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T04:44:20.667309Z"},"content_sha256":"342562844f2bda9aff39f908da3febcbe5a3821291b7bdf1df80b67d118a4839","schema_version":"1.0","event_id":"sha256:342562844f2bda9aff39f908da3febcbe5a3821291b7bdf1df80b67d118a4839"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RUKZQ2CNJ4BMWJZYUFRZKQ6FNI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The equational theory of the natural join and inner union is decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Luigi Santocanale (LIF)","submitted_at":"2017-10-30T13:28:14Z","abstract_excerpt":"The natural join and the inner union operations combine relations of a database. Tropashko and Spight [24] realized that these two operations are the meet and join operations in a class of lattices, known by now as the relational lattices. They proposed then lattice theory as an algebraic approach to the theory of databases, alternative to the relational algebra. Previous works [17, 22] proved that the quasiequational theory of these lattices-that is, the set of definite Horn sentences valid in all the relational lattices-is undecidable, even when the signature is restricted to the pure lattic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.11500","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"},"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-18T00:31:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/2yv6kZKQKYSGu9ZzCci4Cjlpwi9n7FxAUAj5Cw9q1+Ct/vCbZwELsUTwZj8ZpRVHBkyE95GeL8c+3tw7422BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T04:44:20.667680Z"},"content_sha256":"2bcd0104930607cecdb12f943e391df7af10c032581752f1af2fd5f8c3c647df","schema_version":"1.0","event_id":"sha256:2bcd0104930607cecdb12f943e391df7af10c032581752f1af2fd5f8c3c647df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/bundle.json","state_url":"https://pith.science/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/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-23T04:44:20Z","links":{"resolver":"https://pith.science/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI","bundle":"https://pith.science/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/bundle.json","state":"https://pith.science/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RUKZQ2CNJ4BMWJZYUFRZKQ6FNI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RUKZQ2CNJ4BMWJZYUFRZKQ6FNI","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":"350d26c6f02558a675707db1df8cfed0108722b4bb60c052bdc44bf404b361e1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T13:28:14Z","title_canon_sha256":"3e9160c2fc187785af87f39467dccbed69bfab43bc2374e8499535eeb6571498"},"schema_version":"1.0","source":{"id":"1710.11500","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.11500","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"arxiv_version","alias_value":"1710.11500v1","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.11500","created_at":"2026-05-18T00:31:37Z"},{"alias_kind":"pith_short_12","alias_value":"RUKZQ2CNJ4BM","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RUKZQ2CNJ4BMWJZY","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RUKZQ2CN","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:2bcd0104930607cecdb12f943e391df7af10c032581752f1af2fd5f8c3c647df","target":"graph","created_at":"2026-05-18T00:31:37Z","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":"The natural join and the inner union operations combine relations of a database. Tropashko and Spight [24] realized that these two operations are the meet and join operations in a class of lattices, known by now as the relational lattices. They proposed then lattice theory as an algebraic approach to the theory of databases, alternative to the relational algebra. Previous works [17, 22] proved that the quasiequational theory of these lattices-that is, the set of definite Horn sentences valid in all the relational lattices-is undecidable, even when the signature is restricted to the pure lattic","authors_text":"Luigi Santocanale (LIF)","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T13:28:14Z","title":"The equational theory of the natural join and inner union is decidable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.11500","kind":"arxiv","version":1},"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:342562844f2bda9aff39f908da3febcbe5a3821291b7bdf1df80b67d118a4839","target":"record","created_at":"2026-05-18T00:31:37Z","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":"350d26c6f02558a675707db1df8cfed0108722b4bb60c052bdc44bf404b361e1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T13:28:14Z","title_canon_sha256":"3e9160c2fc187785af87f39467dccbed69bfab43bc2374e8499535eeb6571498"},"schema_version":"1.0","source":{"id":"1710.11500","kind":"arxiv","version":1}},"canonical_sha256":"8d1598684d4f02cb2738a1639543c56a0fe42ce84c8f3731a6810e6b70be4259","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d1598684d4f02cb2738a1639543c56a0fe42ce84c8f3731a6810e6b70be4259","first_computed_at":"2026-05-18T00:31:37.129038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:37.129038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zLjs+MjHDQf6aBZQkKx4/vqSzUC0wC/CaaeL8dhfmzmPlOrZj1GMHfTcIQCPHbXA0YKwzVaZWzpt6DtO0F5rAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:37.129541Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.11500","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:342562844f2bda9aff39f908da3febcbe5a3821291b7bdf1df80b67d118a4839","sha256:2bcd0104930607cecdb12f943e391df7af10c032581752f1af2fd5f8c3c647df"],"state_sha256":"fac9dc367912c7566518160f485267d07216d445aac8bf7dc3e4fbb41b083843"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2rK5WG/CiF791NzYr+C0/5Ml26LGc7zew6Ab47BL+8GQB1id5uDwdDBi6SrwFWfZTHSeM/OK9Cv/V8ld+daPCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T04:44:20.669838Z","bundle_sha256":"5f2ae3693b9b77b04bf25ecbe2ce39c6ffb36d9fd0029d5266b2d9ea5f8ebe40"}}