{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1995:BXSDZMFTLSVU63DFQ36YGZYOTU","short_pith_number":"pith:BXSDZMFT","canonical_record":{"source":{"id":"cs/9512105","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1995-12-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"a0598bda2d83c28b276436983b9fd58e22be48abfa40a730ac33d13d2001ff4f","abstract_canon_sha256":"f63626266bdd1590f56157bbc296f4b89a4f1ebbab1ddb43d86cc3c3bd2fa699"},"schema_version":"1.0"},"canonical_sha256":"0de43cb0b35cab4f6c6586fd83670e9d27a97d437d1cbb9aa81d83e6dd3cc14a","source":{"kind":"arxiv","id":"cs/9512105","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9512105","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9512105v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9512105","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"BXSDZMFTLSVU","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"BXSDZMFTLSVU63DF","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"BXSDZMFT","created_at":"2026-05-18T12:25:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1995:BXSDZMFTLSVU63DFQ36YGZYOTU","target":"record","payload":{"canonical_record":{"source":{"id":"cs/9512105","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1995-12-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"a0598bda2d83c28b276436983b9fd58e22be48abfa40a730ac33d13d2001ff4f","abstract_canon_sha256":"f63626266bdd1590f56157bbc296f4b89a4f1ebbab1ddb43d86cc3c3bd2fa699"},"schema_version":"1.0"},"canonical_sha256":"0de43cb0b35cab4f6c6586fd83670e9d27a97d437d1cbb9aa81d83e6dd3cc14a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:37:36.743423Z","signature_b64":"sJmpIC+/WsXQWzyG1Ug8s7HDQpMrc7xg0fqonPsSY+sP5isc2cftctMQGpAnyIO7LFRUOd8oW8Lv2dM19bkCAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0de43cb0b35cab4f6c6586fd83670e9d27a97d437d1cbb9aa81d83e6dd3cc14a","last_reissued_at":"2026-05-18T02:37:36.743017Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:37:36.743017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/9512105","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jYja1fyV6YniAcs0IoKwDSmctCxIOJV/3VO/naJUzuV8IeUI6bF/iK7rI7HKDBLwGPsLePJKPZ6fkbNz+9GjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:18:54.734121Z"},"content_sha256":"9d31ae6617901ad726ea52344f2478c81202e3704d80dc29ddee5a0142ec418d","schema_version":"1.0","event_id":"sha256:9d31ae6617901ad726ea52344f2478c81202e3704d80dc29ddee5a0142ec418d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1995:BXSDZMFTLSVU63DFQ36YGZYOTU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Translating between Horn Representations and their Characteristic Models","license":"","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"R. Khardon","submitted_at":"1995-12-01T00:00:00Z","abstract_excerpt":"Characteristic models are an alternative, model based, representation for Horn expressions. It has been shown that these two representations are incomparable and each has its advantages over the other. It is therefore natural to ask what is the cost of translating, back and forth, between these representations. Interestingly, the same translation questions arise in database theory, where it has applications to the design of relational databases. This paper studies the computational complexity of these problems. Our main result is that the two translation problems are equivalent under polynomia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9512105","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d4PrBQi0vjZ2B6roslzbzMnLI7FxFPq2/IyyD5oPXC9poZ6TGRKhSBPEaKqa9s+LX7PY31Z12IKdJ7GHkPJNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:18:54.734784Z"},"content_sha256":"f4533842ba1d96c250bcd968609385baae67262c09df3aed1cbfc7a42f864d50","schema_version":"1.0","event_id":"sha256:f4533842ba1d96c250bcd968609385baae67262c09df3aed1cbfc7a42f864d50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/bundle.json","state_url":"https://pith.science/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/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-11T17:18:54Z","links":{"resolver":"https://pith.science/pith/BXSDZMFTLSVU63DFQ36YGZYOTU","bundle":"https://pith.science/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/bundle.json","state":"https://pith.science/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BXSDZMFTLSVU63DFQ36YGZYOTU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1995:BXSDZMFTLSVU63DFQ36YGZYOTU","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":"f63626266bdd1590f56157bbc296f4b89a4f1ebbab1ddb43d86cc3c3bd2fa699","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1995-12-01T00:00:00Z","title_canon_sha256":"a0598bda2d83c28b276436983b9fd58e22be48abfa40a730ac33d13d2001ff4f"},"schema_version":"1.0","source":{"id":"cs/9512105","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9512105","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9512105v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9512105","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"BXSDZMFTLSVU","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"BXSDZMFTLSVU63DF","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"BXSDZMFT","created_at":"2026-05-18T12:25:47Z"}],"graph_snapshots":[{"event_id":"sha256:f4533842ba1d96c250bcd968609385baae67262c09df3aed1cbfc7a42f864d50","target":"graph","created_at":"2026-05-18T02:37:36Z","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":"Characteristic models are an alternative, model based, representation for Horn expressions. It has been shown that these two representations are incomparable and each has its advantages over the other. It is therefore natural to ask what is the cost of translating, back and forth, between these representations. Interestingly, the same translation questions arise in database theory, where it has applications to the design of relational databases. This paper studies the computational complexity of these problems. Our main result is that the two translation problems are equivalent under polynomia","authors_text":"R. Khardon","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"1995-12-01T00:00:00Z","title":"Translating between Horn Representations and their Characteristic Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9512105","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:9d31ae6617901ad726ea52344f2478c81202e3704d80dc29ddee5a0142ec418d","target":"record","created_at":"2026-05-18T02:37:36Z","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":"f63626266bdd1590f56157bbc296f4b89a4f1ebbab1ddb43d86cc3c3bd2fa699","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1995-12-01T00:00:00Z","title_canon_sha256":"a0598bda2d83c28b276436983b9fd58e22be48abfa40a730ac33d13d2001ff4f"},"schema_version":"1.0","source":{"id":"cs/9512105","kind":"arxiv","version":1}},"canonical_sha256":"0de43cb0b35cab4f6c6586fd83670e9d27a97d437d1cbb9aa81d83e6dd3cc14a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0de43cb0b35cab4f6c6586fd83670e9d27a97d437d1cbb9aa81d83e6dd3cc14a","first_computed_at":"2026-05-18T02:37:36.743017Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:37:36.743017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sJmpIC+/WsXQWzyG1Ug8s7HDQpMrc7xg0fqonPsSY+sP5isc2cftctMQGpAnyIO7LFRUOd8oW8Lv2dM19bkCAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:37:36.743423Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/9512105","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d31ae6617901ad726ea52344f2478c81202e3704d80dc29ddee5a0142ec418d","sha256:f4533842ba1d96c250bcd968609385baae67262c09df3aed1cbfc7a42f864d50"],"state_sha256":"e0b946e776e166acb2d51867d97ad0115d8e867d860ddf9cd6fff45e77b8bf16"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LYNJC8OdbK1dxopRdnSllcbFSYjIDUBFHj9WxuDYXyl84Tz4OI7XT+digBD2693Ed2KgQ/K/4L5ug7RpYUmxDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T17:18:54.738707Z","bundle_sha256":"9d998a3bab306684c9c38cd952312686d9ccf482d8432ab19c132f7e30132e76"}}