{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:7R32IYBPFGVZ6GVDHN2SQXS2A4","short_pith_number":"pith:7R32IYBP","schema_version":"1.0","canonical_sha256":"fc77a4602f29ab9f1aa33b75285e5a0717f394f8c04d0a2e05463d0880133842","source":{"kind":"arxiv","id":"1808.08822","version":2},"attestation_state":"computed","paper":{"title":"A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Dimitri Surinx, Jan Van den Bussche","submitted_at":"2018-08-27T12:42:38Z","abstract_excerpt":"When a relational database is queried, the result is normally a relation. Some queries, however, only require a yes/no answer; such queries are often called boolean queries. It is customary in database theory to express boolean queries by testing nonemptiness of query expressions. Another interesting way for expressing boolean queries are containment statements of the form $Q_1 \\subseteq Q_2$ where $Q_1$ and $Q_2$ are query expressions. Here, for any input instance $I$, the boolean query result is $\\mathit{true}$ if $Q_1(I)$ is a subset of $Q_2(I)$ and $\\mathit{false}$ otherwise.\n  In the pres"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1808.08822","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-08-27T12:42:38Z","cross_cats_sorted":[],"title_canon_sha256":"040078099651df7b282f2098d49f179ffa1df03ba4ddb4fd7631ba4be014db51","abstract_canon_sha256":"b506530d63a83361b7d8cfb0bf96331e0143644237927c7c7c02cf98a93e9efa"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:24.226487Z","signature_b64":"U/Jy0nB5VBkrk1cC3oOvKpLwA9vNdi7ykpbikef9bFWFxUsoW9m5CbQ5taZG0sLxiEGVYQrK928nl0SbX35pCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc77a4602f29ab9f1aa33b75285e5a0717f394f8c04d0a2e05463d0880133842","last_reissued_at":"2026-05-17T23:52:24.225943Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:24.225943Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Dimitri Surinx, Jan Van den Bussche","submitted_at":"2018-08-27T12:42:38Z","abstract_excerpt":"When a relational database is queried, the result is normally a relation. Some queries, however, only require a yes/no answer; such queries are often called boolean queries. It is customary in database theory to express boolean queries by testing nonemptiness of query expressions. Another interesting way for expressing boolean queries are containment statements of the form $Q_1 \\subseteq Q_2$ where $Q_1$ and $Q_2$ are query expressions. Here, for any input instance $I$, the boolean query result is $\\mathit{true}$ if $Q_1(I)$ is a subset of $Q_2(I)$ and $\\mathit{false}$ otherwise.\n  In the pres"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08822","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1808.08822","created_at":"2026-05-17T23:52:24.226023+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.08822v2","created_at":"2026-05-17T23:52:24.226023+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08822","created_at":"2026-05-17T23:52:24.226023+00:00"},{"alias_kind":"pith_short_12","alias_value":"7R32IYBPFGVZ","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"7R32IYBPFGVZ6GVD","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"7R32IYBP","created_at":"2026-05-18T12:32:11.075285+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4","json":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4.json","graph_json":"https://pith.science/api/pith-number/7R32IYBPFGVZ6GVDHN2SQXS2A4/graph.json","events_json":"https://pith.science/api/pith-number/7R32IYBPFGVZ6GVDHN2SQXS2A4/events.json","paper":"https://pith.science/paper/7R32IYBP"},"agent_actions":{"view_html":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4","download_json":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4.json","view_paper":"https://pith.science/paper/7R32IYBP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.08822&json=true","fetch_graph":"https://pith.science/api/pith-number/7R32IYBPFGVZ6GVDHN2SQXS2A4/graph.json","fetch_events":"https://pith.science/api/pith-number/7R32IYBPFGVZ6GVDHN2SQXS2A4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4/action/storage_attestation","attest_author":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4/action/author_attestation","sign_citation":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4/action/citation_signature","submit_replication":"https://pith.science/pith/7R32IYBPFGVZ6GVDHN2SQXS2A4/action/replication_record"}},"created_at":"2026-05-17T23:52:24.226023+00:00","updated_at":"2026-05-17T23:52:24.226023+00:00"}