{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PLE3KZ6APZ5CCR2K24IH5OUSDI","short_pith_number":"pith:PLE3KZ6A","canonical_record":{"source":{"id":"1607.02988","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-11T14:59:42Z","cross_cats_sorted":["cs.DB","math.CT","math.LO"],"title_canon_sha256":"04bfb98eb26756dafc0bd1046922ed0dab696ec552b8f2b0d09ace9e72fbe14a","abstract_canon_sha256":"25f68ebeabeaf97c4e925d5a1c5b405e2e94fa54e84f50fa4177d6c4f5fe1c75"},"schema_version":"1.0"},"canonical_sha256":"7ac9b567c07e7a21474ad7107eba921a31cc732ec218e2d8de936ad742c31577","source":{"kind":"arxiv","id":"1607.02988","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02988","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02988v3","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02988","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"pith_short_12","alias_value":"PLE3KZ6APZ5C","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PLE3KZ6APZ5CCR2K","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PLE3KZ6A","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PLE3KZ6APZ5CCR2K24IH5OUSDI","target":"record","payload":{"canonical_record":{"source":{"id":"1607.02988","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-11T14:59:42Z","cross_cats_sorted":["cs.DB","math.CT","math.LO"],"title_canon_sha256":"04bfb98eb26756dafc0bd1046922ed0dab696ec552b8f2b0d09ace9e72fbe14a","abstract_canon_sha256":"25f68ebeabeaf97c4e925d5a1c5b405e2e94fa54e84f50fa4177d6c4f5fe1c75"},"schema_version":"1.0"},"canonical_sha256":"7ac9b567c07e7a21474ad7107eba921a31cc732ec218e2d8de936ad742c31577","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:04.519251Z","signature_b64":"sq6L5NBJF/k6C0fMkoCtfLhRqb5U/0AOJi/izdvh98FyfSZSAqXqSABtR7GcNtIudts1gM+PtSXGz7zwCZg2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ac9b567c07e7a21474ad7107eba921a31cc732ec218e2d8de936ad742c31577","last_reissued_at":"2026-05-18T00:49:04.518685Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:04.518685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.02988","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-18T00:49:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nGSoIspqEXg3WpFjbmHtlzf5l5sC0pRAUFwzpbmdJRBuwuM5YmurH1Hr4vUc5k3UGAT3ojOyotZpwQGeYhdMAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:55:34.682828Z"},"content_sha256":"26b7e7e957b940e4d31131ee6be8d78e4849acdd5a7c1841451f327e7b953348","schema_version":"1.0","event_id":"sha256:26b7e7e957b940e4d31131ee6be8d78e4849acdd5a7c1841451f327e7b953348"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PLE3KZ6APZ5CCR2K24IH5OUSDI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","math.CT","math.LO"],"primary_cat":"cs.LO","authors_text":"Luigi Santocanale (LIF)","submitted_at":"2016-07-11T14:59:42Z","abstract_excerpt":"The natural join and the inner union operations combine relations of a database. Tropashko and Spight realized that these two operations are themeet 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 thetheory of databases alternative to the relational algebra. Litak et al. proposed an axiomatization of relational lattices over the signature that extends thepure lattice signature with a constant and argued that the quasiequational theory of relational lattices over this extended signature is undecid"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02988","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-18T00:49:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HstiF7Bg27fROmO/tN+h5ajaEpxf9EyoxOLAQsB97nEzsV3TG47a7VLha/xKMrovic++5b+I5GDP2nYeN6FoBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:55:34.683421Z"},"content_sha256":"14249b3c37c0cf4c198067a7f2ff816ec2fbc79fcbd5c6d12e07dd5f9a4595a2","schema_version":"1.0","event_id":"sha256:14249b3c37c0cf4c198067a7f2ff816ec2fbc79fcbd5c6d12e07dd5f9a4595a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/bundle.json","state_url":"https://pith.science/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/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-23T02:55:34Z","links":{"resolver":"https://pith.science/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI","bundle":"https://pith.science/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/bundle.json","state":"https://pith.science/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PLE3KZ6APZ5CCR2K24IH5OUSDI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PLE3KZ6APZ5CCR2K24IH5OUSDI","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":"25f68ebeabeaf97c4e925d5a1c5b405e2e94fa54e84f50fa4177d6c4f5fe1c75","cross_cats_sorted":["cs.DB","math.CT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-11T14:59:42Z","title_canon_sha256":"04bfb98eb26756dafc0bd1046922ed0dab696ec552b8f2b0d09ace9e72fbe14a"},"schema_version":"1.0","source":{"id":"1607.02988","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02988","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02988v3","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02988","created_at":"2026-05-18T00:49:04Z"},{"alias_kind":"pith_short_12","alias_value":"PLE3KZ6APZ5C","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PLE3KZ6APZ5CCR2K","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PLE3KZ6A","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:14249b3c37c0cf4c198067a7f2ff816ec2fbc79fcbd5c6d12e07dd5f9a4595a2","target":"graph","created_at":"2026-05-18T00:49:04Z","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 realized that these two operations are themeet 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 thetheory of databases alternative to the relational algebra. Litak et al. proposed an axiomatization of relational lattices over the signature that extends thepure lattice signature with a constant and argued that the quasiequational theory of relational lattices over this extended signature is undecid","authors_text":"Luigi Santocanale (LIF)","cross_cats":["cs.DB","math.CT","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-11T14:59:42Z","title":"The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02988","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:26b7e7e957b940e4d31131ee6be8d78e4849acdd5a7c1841451f327e7b953348","target":"record","created_at":"2026-05-18T00:49:04Z","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":"25f68ebeabeaf97c4e925d5a1c5b405e2e94fa54e84f50fa4177d6c4f5fe1c75","cross_cats_sorted":["cs.DB","math.CT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-11T14:59:42Z","title_canon_sha256":"04bfb98eb26756dafc0bd1046922ed0dab696ec552b8f2b0d09ace9e72fbe14a"},"schema_version":"1.0","source":{"id":"1607.02988","kind":"arxiv","version":3}},"canonical_sha256":"7ac9b567c07e7a21474ad7107eba921a31cc732ec218e2d8de936ad742c31577","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ac9b567c07e7a21474ad7107eba921a31cc732ec218e2d8de936ad742c31577","first_computed_at":"2026-05-18T00:49:04.518685Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:04.518685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sq6L5NBJF/k6C0fMkoCtfLhRqb5U/0AOJi/izdvh98FyfSZSAqXqSABtR7GcNtIudts1gM+PtSXGz7zwCZg2CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:04.519251Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02988","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26b7e7e957b940e4d31131ee6be8d78e4849acdd5a7c1841451f327e7b953348","sha256:14249b3c37c0cf4c198067a7f2ff816ec2fbc79fcbd5c6d12e07dd5f9a4595a2"],"state_sha256":"c3c21efc4cafec13b961bfbd47ef985bb7a3928da2d5b4a4089cc1b047804680"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zjvqKM9vQC7jG0TPcErV7RLrqXrSc1e696e29itBMiYjAKdywxn6V5IF6rv6Qt+YJakuI9fk1wsPz4sNOBmCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T02:55:34.686519Z","bundle_sha256":"fe5858215fca36ac3431a567565c04e4d7238af0a938565e44a71f3d90b44461"}}