{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:UJ7JKFAFLG2PSFQG3WZGQBHBCI","short_pith_number":"pith:UJ7JKFAF","schema_version":"1.0","canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","source":{"kind":"arxiv","id":"1310.5538","version":1},"attestation_state":"computed","paper":{"title":"TCC, with History","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Radha Jagadeesan, Vijay Saraswat, Vineet Gupta","submitted_at":"2013-10-21T13:33:21Z","abstract_excerpt":"Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-processing rules. Such rules should be able to correlate different event streams, detect absence of events (negative information), permit aggregations over sliding windows, specify dependent sliding windows etc. For instance it should be possible to precisely state a rule such as \"Every seventh trading session that DowJones has risen consecutively, and IBM's stock is off 3% over its average in this period, evaluate IBM"},"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":"1310.5538","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-21T13:33:21Z","cross_cats_sorted":[],"title_canon_sha256":"e3efcc86ab8ccf33388984add8ee7a3f841cdd304fe03f4ff28ed6e226342e0a","abstract_canon_sha256":"984e612dea3133d550645be159fc7d5541f2114737f58d5d91cd3c6e43292e66"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:35.112649Z","signature_b64":"dgTRveG4QIgOkvjpCqY6LBvwmip/sUpYv6tZdD8rFI9Mo4js+IQMmUhRLDoTHO5dRVp1FALJv8FMzozEmLCgCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a27e95140559b4f91606ddb26804e11201d41a76831f3fb9b558d875261fa5db","last_reissued_at":"2026-05-18T03:09:35.111897Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:35.111897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"TCC, with History","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Radha Jagadeesan, Vijay Saraswat, Vineet Gupta","submitted_at":"2013-10-21T13:33:21Z","abstract_excerpt":"Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-processing rules. Such rules should be able to correlate different event streams, detect absence of events (negative information), permit aggregations over sliding windows, specify dependent sliding windows etc. For instance it should be possible to precisely state a rule such as \"Every seventh trading session that DowJones has risen consecutively, and IBM's stock is off 3% over its average in this period, evaluate IBM"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5538","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.5538","created_at":"2026-05-18T03:09:35.112022+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.5538v1","created_at":"2026-05-18T03:09:35.112022+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5538","created_at":"2026-05-18T03:09:35.112022+00:00"},{"alias_kind":"pith_short_12","alias_value":"UJ7JKFAFLG2P","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_16","alias_value":"UJ7JKFAFLG2PSFQG","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_8","alias_value":"UJ7JKFAF","created_at":"2026-05-18T12:28:02.375192+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/UJ7JKFAFLG2PSFQG3WZGQBHBCI","json":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI.json","graph_json":"https://pith.science/api/pith-number/UJ7JKFAFLG2PSFQG3WZGQBHBCI/graph.json","events_json":"https://pith.science/api/pith-number/UJ7JKFAFLG2PSFQG3WZGQBHBCI/events.json","paper":"https://pith.science/paper/UJ7JKFAF"},"agent_actions":{"view_html":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI","download_json":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI.json","view_paper":"https://pith.science/paper/UJ7JKFAF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.5538&json=true","fetch_graph":"https://pith.science/api/pith-number/UJ7JKFAFLG2PSFQG3WZGQBHBCI/graph.json","fetch_events":"https://pith.science/api/pith-number/UJ7JKFAFLG2PSFQG3WZGQBHBCI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/action/storage_attestation","attest_author":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/action/author_attestation","sign_citation":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/action/citation_signature","submit_replication":"https://pith.science/pith/UJ7JKFAFLG2PSFQG3WZGQBHBCI/action/replication_record"}},"created_at":"2026-05-18T03:09:35.112022+00:00","updated_at":"2026-05-18T03:09:35.112022+00:00"}