{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:WQJOE7R5OOR4J357P7NLAJ2EY6","short_pith_number":"pith:WQJOE7R5","schema_version":"1.0","canonical_sha256":"b412e27e3d73a3c4efbf7fdab02744c7bf8463fe17c5a51db79322ebb22222c5","source":{"kind":"arxiv","id":"1612.03155","version":1},"attestation_state":"computed","paper":{"title":"On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Flavio Ferrarotti, Jos\\'e Mar\\'ia Turull-Torres, Loredana Tec","submitted_at":"2016-12-09T20:32:24Z","abstract_excerpt":"In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and elegant third order logic ($\\mathrm{TO}$) formulae. In many of those properties the expressive power of $\\mathrm{TO}$ is not required, but the equivalent second order logic ($\\mathrm{SO}$) formulae can be very complicated or unintuitive. From the point of view of the study of highly expressive query languages, it is then relevant to identify fragments of $\\mathrm{TO}$ (and, in general, of higher-order logics of order "},"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":"1612.03155","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-12-09T20:32:24Z","cross_cats_sorted":[],"title_canon_sha256":"efb4a64e2a5b72510321ee81745f2ba78377ac250d15fb7b019cab11dc9f0a01","abstract_canon_sha256":"e9eb1c574f8f175a86336e09b450f2c54d8fa104672942cd17c069bb27181b26"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:26.248784Z","signature_b64":"8RNA5Ie1WiGB77ueqdLWbHF5unZieePNb13YTRyLHrx4c3acTgDtDkKbcioG9PqeiNw+G8DsNu3qeCau7ygaCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b412e27e3d73a3c4efbf7fdab02744c7bf8463fe17c5a51db79322ebb22222c5","last_reissued_at":"2026-05-18T00:55:26.247911Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:26.247911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Flavio Ferrarotti, Jos\\'e Mar\\'ia Turull-Torres, Loredana Tec","submitted_at":"2016-12-09T20:32:24Z","abstract_excerpt":"In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and elegant third order logic ($\\mathrm{TO}$) formulae. In many of those properties the expressive power of $\\mathrm{TO}$ is not required, but the equivalent second order logic ($\\mathrm{SO}$) formulae can be very complicated or unintuitive. From the point of view of the study of highly expressive query languages, it is then relevant to identify fragments of $\\mathrm{TO}$ (and, in general, of higher-order logics of order "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03155","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":"1612.03155","created_at":"2026-05-18T00:55:26.248053+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.03155v1","created_at":"2026-05-18T00:55:26.248053+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03155","created_at":"2026-05-18T00:55:26.248053+00:00"},{"alias_kind":"pith_short_12","alias_value":"WQJOE7R5OOR4","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"WQJOE7R5OOR4J357","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"WQJOE7R5","created_at":"2026-05-18T12:30:51.357362+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/WQJOE7R5OOR4J357P7NLAJ2EY6","json":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6.json","graph_json":"https://pith.science/api/pith-number/WQJOE7R5OOR4J357P7NLAJ2EY6/graph.json","events_json":"https://pith.science/api/pith-number/WQJOE7R5OOR4J357P7NLAJ2EY6/events.json","paper":"https://pith.science/paper/WQJOE7R5"},"agent_actions":{"view_html":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6","download_json":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6.json","view_paper":"https://pith.science/paper/WQJOE7R5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.03155&json=true","fetch_graph":"https://pith.science/api/pith-number/WQJOE7R5OOR4J357P7NLAJ2EY6/graph.json","fetch_events":"https://pith.science/api/pith-number/WQJOE7R5OOR4J357P7NLAJ2EY6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6/action/storage_attestation","attest_author":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6/action/author_attestation","sign_citation":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6/action/citation_signature","submit_replication":"https://pith.science/pith/WQJOE7R5OOR4J357P7NLAJ2EY6/action/replication_record"}},"created_at":"2026-05-18T00:55:26.248053+00:00","updated_at":"2026-05-18T00:55:26.248053+00:00"}