{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ICOGYUBBKUSKCZ4LGVDETLQPSI","short_pith_number":"pith:ICOGYUBB","canonical_record":{"source":{"id":"1604.03413","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-04-12T14:01:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"628a607b898070b922b7febe76090a4fd0fd9dbb6710374b673feaa420358c8f","abstract_canon_sha256":"6ca4072d65f3f61acf632f1c80dcf3cd441970db72b1b6740a444f23b1cc2975"},"schema_version":"1.0"},"canonical_sha256":"409c6c50215524a1678b354649ae0f92143c5e871d058f98c02c9c44b25a6c2e","source":{"kind":"arxiv","id":"1604.03413","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.03413","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"1604.03413v1","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03413","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"ICOGYUBBKUSK","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"ICOGYUBBKUSKCZ4L","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"ICOGYUBB","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ICOGYUBBKUSKCZ4LGVDETLQPSI","target":"record","payload":{"canonical_record":{"source":{"id":"1604.03413","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-04-12T14:01:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"628a607b898070b922b7febe76090a4fd0fd9dbb6710374b673feaa420358c8f","abstract_canon_sha256":"6ca4072d65f3f61acf632f1c80dcf3cd441970db72b1b6740a444f23b1cc2975"},"schema_version":"1.0"},"canonical_sha256":"409c6c50215524a1678b354649ae0f92143c5e871d058f98c02c9c44b25a6c2e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:13.668736Z","signature_b64":"ga4iSuOQDu8l9uWmQYHLYNvxdUxX9Ju+8WwfGHDRejnt5fbPCEXUpV8yCJYXhv4JqFEL/it1hWyJ2XGAJNHFCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"409c6c50215524a1678b354649ae0f92143c5e871d058f98c02c9c44b25a6c2e","last_reissued_at":"2026-05-18T01:17:13.668250Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:13.668250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.03413","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:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ylkc99IhSR2KBtlj9lvqFrVKlkufp1Z5PNcoflBCxIp+7qVEXlXvD3YQnrWiIPexrENzqXLgCbpVUYkqfU21BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:51:45.575219Z"},"content_sha256":"96801af08b8ee22d5bbcf23097fd6761188ca94b4406d680641b6b2c8e009942","schema_version":"1.0","event_id":"sha256:96801af08b8ee22d5bbcf23097fd6761188ca94b4406d680641b6b2c8e009942"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ICOGYUBBKUSKCZ4LGVDETLQPSI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"C. Aiswarya, Marco Montali, Mohamed Faouzi Atig, Othmane Rezine, Parosh Aziz Abdulla","submitted_at":"2016-04-12T14:01:21Z","abstract_excerpt":"We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by adding new elements into the database, deleting tuples from the relations and adding tuples to the relations. The elements which are modified by an action are chosen by (full) first-order queries. DMS is a highly expressive model and can be thought of as a succinct representation of an infinite state relational transition system, in line with similar models proposed in the literature. We propose monadic second order lo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03413","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:17:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8VVeTrT+GF2joZliTHqFRzfTeegkkR1q816/kjgShdVbht+dsT+64bgHooB7xVU+ZEYNSiQ2vvDUBbFA6hpLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:51:45.575910Z"},"content_sha256":"c5776ff3839babb84db6934ddfb1ac64fb72d49d7ebb99d343e841886387f7b8","schema_version":"1.0","event_id":"sha256:c5776ff3839babb84db6934ddfb1ac64fb72d49d7ebb99d343e841886387f7b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/bundle.json","state_url":"https://pith.science/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/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-27T07:51:45Z","links":{"resolver":"https://pith.science/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI","bundle":"https://pith.science/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/bundle.json","state":"https://pith.science/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ICOGYUBBKUSKCZ4LGVDETLQPSI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ICOGYUBBKUSKCZ4LGVDETLQPSI","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":"6ca4072d65f3f61acf632f1c80dcf3cd441970db72b1b6740a444f23b1cc2975","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-04-12T14:01:21Z","title_canon_sha256":"628a607b898070b922b7febe76090a4fd0fd9dbb6710374b673feaa420358c8f"},"schema_version":"1.0","source":{"id":"1604.03413","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.03413","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"arxiv_version","alias_value":"1604.03413v1","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03413","created_at":"2026-05-18T01:17:13Z"},{"alias_kind":"pith_short_12","alias_value":"ICOGYUBBKUSK","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"ICOGYUBBKUSKCZ4L","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"ICOGYUBB","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:c5776ff3839babb84db6934ddfb1ac64fb72d49d7ebb99d343e841886387f7b8","target":"graph","created_at":"2026-05-18T01:17:13Z","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":"We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by adding new elements into the database, deleting tuples from the relations and adding tuples to the relations. The elements which are modified by an action are chosen by (full) first-order queries. DMS is a highly expressive model and can be thought of as a succinct representation of an infinite state relational transition system, in line with similar models proposed in the literature. We propose monadic second order lo","authors_text":"C. Aiswarya, Marco Montali, Mohamed Faouzi Atig, Othmane Rezine, Parosh Aziz Abdulla","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-04-12T14:01:21Z","title":"Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03413","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:96801af08b8ee22d5bbcf23097fd6761188ca94b4406d680641b6b2c8e009942","target":"record","created_at":"2026-05-18T01:17:13Z","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":"6ca4072d65f3f61acf632f1c80dcf3cd441970db72b1b6740a444f23b1cc2975","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-04-12T14:01:21Z","title_canon_sha256":"628a607b898070b922b7febe76090a4fd0fd9dbb6710374b673feaa420358c8f"},"schema_version":"1.0","source":{"id":"1604.03413","kind":"arxiv","version":1}},"canonical_sha256":"409c6c50215524a1678b354649ae0f92143c5e871d058f98c02c9c44b25a6c2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"409c6c50215524a1678b354649ae0f92143c5e871d058f98c02c9c44b25a6c2e","first_computed_at":"2026-05-18T01:17:13.668250Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:13.668250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ga4iSuOQDu8l9uWmQYHLYNvxdUxX9Ju+8WwfGHDRejnt5fbPCEXUpV8yCJYXhv4JqFEL/it1hWyJ2XGAJNHFCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:13.668736Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.03413","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:96801af08b8ee22d5bbcf23097fd6761188ca94b4406d680641b6b2c8e009942","sha256:c5776ff3839babb84db6934ddfb1ac64fb72d49d7ebb99d343e841886387f7b8"],"state_sha256":"b6ad71894dae34e64eb89e6f802e3c38f0ce86ccfd607112ef5c6819f4b9afe2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bWH5pX+Ci9P42R/93xAcyQ/fFpKRVCqTu43t64iQQU2wUlWThA6K8ZvSnOm+CFDCMHfSkMx77d8YpEyxZZoRDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T07:51:45.579531Z","bundle_sha256":"fd667df2e4ba4e30adc5e406b41c8de95e9396108cece8f95f2a9e7ad3c096c5"}}