{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FY3XFBU6BRQ6A6GJVG4JBFTU2L","short_pith_number":"pith:FY3XFBU6","canonical_record":{"source":{"id":"1512.06912","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2015-12-21T23:45:41Z","cross_cats_sorted":[],"title_canon_sha256":"1c9cf6fdf7a43803015708cf8792ea9e78103afb011e7f4ad0b4941510c77ae9","abstract_canon_sha256":"76a400606d41aba697e7c385cd8ee7fc35002a61f9b58e67e14fba6b72a809fa"},"schema_version":"1.0"},"canonical_sha256":"2e3772869e0c61e078c9a9b8909674d2f5223688b50538ae4ea8bfbb7cc0b77b","source":{"kind":"arxiv","id":"1512.06912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06912","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06912v1","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06912","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"pith_short_12","alias_value":"FY3XFBU6BRQ6","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FY3XFBU6BRQ6A6GJ","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FY3XFBU6","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FY3XFBU6BRQ6A6GJVG4JBFTU2L","target":"record","payload":{"canonical_record":{"source":{"id":"1512.06912","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2015-12-21T23:45:41Z","cross_cats_sorted":[],"title_canon_sha256":"1c9cf6fdf7a43803015708cf8792ea9e78103afb011e7f4ad0b4941510c77ae9","abstract_canon_sha256":"76a400606d41aba697e7c385cd8ee7fc35002a61f9b58e67e14fba6b72a809fa"},"schema_version":"1.0"},"canonical_sha256":"2e3772869e0c61e078c9a9b8909674d2f5223688b50538ae4ea8bfbb7cc0b77b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:53.477770Z","signature_b64":"JyJbqHreh6LFSDHJTH98EOcO02HqbvxlpBuDbgqLyFCnWODlbXS2lfNdfCErZV1R2R8VY+z1M17m9oHpYm1hDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e3772869e0c61e078c9a9b8909674d2f5223688b50538ae4ea8bfbb7cc0b77b","last_reissued_at":"2026-05-18T01:23:53.477218Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:53.477218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.06912","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-18T01:23:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1jZC6XYIOcxmRVC26Gjwm6m1TJfw5ry5EhW6ZekH4w658N+xolv+w33bN774KF8ZR5HJeu8uEAQPFXt43EwYBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:26:21.069780Z"},"content_sha256":"89b8e16575870b7bd5aeb3067288f17f051c8aa479eb190160759b1953d1e65b","schema_version":"1.0","event_id":"sha256:89b8e16575870b7bd5aeb3067288f17f051c8aa479eb190160759b1953d1e65b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FY3XFBU6BRQ6A6GJVG4JBFTU2L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Query Stability in Monotonic Data-Aware Business Processes [Extended Version]","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Elisa Marengo, Ognjen Savkovic, Werner Nutt","submitted_at":"2015-12-21T23:45:41Z","abstract_excerpt":"Organizations continuously accumulate data, often according to some business processes. If one poses a query over such data for decision support, it is important to know whether the query is stable, that is, whether the answers will stay the same or may change in the future because business processes may add further data. We investigate query stability for conjunctive queries. To this end, we define a formalism that combines an explicit representation of the control flow of a process with a specification of how data is read and inserted into the database. We consider different restrictions of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06912","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-18T01:23:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V57k3DWUxPzBTKD2+CROwgzMpoHuvjuG/X0d0SEEjeS5qcljC2Stp7H8kBUEfEGGrtCzXHz02bnlJHwvt4SFBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:26:21.070156Z"},"content_sha256":"ad7b66d4001406761c3eeb126f07d2b9657628198d03ec1b5a59e7d29b10b7ef","schema_version":"1.0","event_id":"sha256:ad7b66d4001406761c3eeb126f07d2b9657628198d03ec1b5a59e7d29b10b7ef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/bundle.json","state_url":"https://pith.science/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/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-05-30T12:26:21Z","links":{"resolver":"https://pith.science/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L","bundle":"https://pith.science/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/bundle.json","state":"https://pith.science/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FY3XFBU6BRQ6A6GJVG4JBFTU2L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FY3XFBU6BRQ6A6GJVG4JBFTU2L","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":"76a400606d41aba697e7c385cd8ee7fc35002a61f9b58e67e14fba6b72a809fa","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2015-12-21T23:45:41Z","title_canon_sha256":"1c9cf6fdf7a43803015708cf8792ea9e78103afb011e7f4ad0b4941510c77ae9"},"schema_version":"1.0","source":{"id":"1512.06912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06912","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06912v1","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06912","created_at":"2026-05-18T01:23:53Z"},{"alias_kind":"pith_short_12","alias_value":"FY3XFBU6BRQ6","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FY3XFBU6BRQ6A6GJ","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FY3XFBU6","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:ad7b66d4001406761c3eeb126f07d2b9657628198d03ec1b5a59e7d29b10b7ef","target":"graph","created_at":"2026-05-18T01:23:53Z","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":"Organizations continuously accumulate data, often according to some business processes. If one poses a query over such data for decision support, it is important to know whether the query is stable, that is, whether the answers will stay the same or may change in the future because business processes may add further data. We investigate query stability for conjunctive queries. To this end, we define a formalism that combines an explicit representation of the control flow of a process with a specification of how data is read and inserted into the database. We consider different restrictions of ","authors_text":"Elisa Marengo, Ognjen Savkovic, Werner Nutt","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2015-12-21T23:45:41Z","title":"Query Stability in Monotonic Data-Aware Business Processes [Extended Version]"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06912","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:89b8e16575870b7bd5aeb3067288f17f051c8aa479eb190160759b1953d1e65b","target":"record","created_at":"2026-05-18T01:23:53Z","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":"76a400606d41aba697e7c385cd8ee7fc35002a61f9b58e67e14fba6b72a809fa","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2015-12-21T23:45:41Z","title_canon_sha256":"1c9cf6fdf7a43803015708cf8792ea9e78103afb011e7f4ad0b4941510c77ae9"},"schema_version":"1.0","source":{"id":"1512.06912","kind":"arxiv","version":1}},"canonical_sha256":"2e3772869e0c61e078c9a9b8909674d2f5223688b50538ae4ea8bfbb7cc0b77b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e3772869e0c61e078c9a9b8909674d2f5223688b50538ae4ea8bfbb7cc0b77b","first_computed_at":"2026-05-18T01:23:53.477218Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:53.477218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JyJbqHreh6LFSDHJTH98EOcO02HqbvxlpBuDbgqLyFCnWODlbXS2lfNdfCErZV1R2R8VY+z1M17m9oHpYm1hDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:53.477770Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.06912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:89b8e16575870b7bd5aeb3067288f17f051c8aa479eb190160759b1953d1e65b","sha256:ad7b66d4001406761c3eeb126f07d2b9657628198d03ec1b5a59e7d29b10b7ef"],"state_sha256":"bdd00df12f9f6cba26f71c6c92402c2ca1d53ca9db98db10bf25f6a23284f2cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GrK/KW6AB9m5yL7M4e8x0K60PZWhaK06KC4lKGQyFloo0T4A+anzrTGhy2FYt/jf6/ajBEaPZDuDvqCh4vj7Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T12:26:21.072687Z","bundle_sha256":"e219a7aa0e86a9329b97fdb1ec87768ea213966e5548ac28c4d5d6c8fc1d020c"}}