{"id":"https://openalex.org/W7117991676","doi":"https://doi.org/10.48550/arxiv.2512.23925","title":"Hojabr: Towards a Theory of Everything for AI and Data Analytics","display_name":"Hojabr: Towards a Theory of Everything for AI and Data Analytics","publication_year":2025,"publication_date":"2025-12-30","ids":{"openalex":"https://openalex.org/W7117991676","doi":"https://doi.org/10.48550/arxiv.2512.23925"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2512.23925","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.23925","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2512.23925","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025737201","display_name":"Amir Shaikhha","orcid":"https://orcid.org/0000-0002-9062-759X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Shaikhha, Amir","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025737201"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.4796000123023987,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.4796000123023987,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.11169999837875366,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.10379999876022339,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.5145999789237976},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.492900013923645},{"id":"https://openalex.org/keywords/tensor","display_name":"Tensor (intrinsic definition)","score":0.47269999980926514},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.44859999418258667},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.39489999413490295},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.388700008392334},{"id":"https://openalex.org/keywords/analytics","display_name":"Analytics","score":0.38429999351501465},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.3614000082015991},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.33719998598098755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830299973487854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6380000114440918},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.5145999789237976},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.492900013923645},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47909998893737793},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.47269999980926514},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.44859999418258667},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.39489999413490295},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.388700008392334},{"id":"https://openalex.org/C79158427","wikidata":"https://www.wikidata.org/wiki/Q485396","display_name":"Analytics","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3653999865055084},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.33719998598098755},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C75684735","wikidata":"https://www.wikidata.org/wiki/Q858810","display_name":"Big data","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.32670000195503235},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C177877439","wikidata":"https://www.wikidata.org/wiki/Q7604413","display_name":"Statistical relational learning","level":3,"score":0.3107999861240387},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C191015642","wikidata":"https://www.wikidata.org/wiki/Q1132459","display_name":"Fragmentation (computing)","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2822999954223633},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.2655999958515167},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.2621000111103058},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2596000134944916},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2574000060558319},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.257099986076355}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2512.23925","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.23925","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2512.23925","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.23925","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.6025800108909607,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Modern":[0],"data":[1],"analytics":[2],"pipelines":[3],"increasingly":[4],"combine":[5],"relational":[6,63],"queries,":[7],"graph":[8],"processing,":[9],"and":[10,26,38,44,67,82,96,130,132,144,148,160,171],"tensor":[11,65,80,100],"computation":[12],"within":[13,70],"a":[14,52,71],"single":[15,72],"application,":[16],"but":[17],"existing":[18,117],"systems":[19],"remain":[20],"fragmented":[21],"across":[22,152,165],"paradigms,":[23],"execution":[24,46,94],"models,":[25,95],"research":[27],"communities.":[28],"This":[29],"fragmentation":[30],"results":[31],"in":[32,76],"repeated":[33],"optimization":[34,131,163],"efforts,":[35],"limited":[36],"interoperability,":[37],"strict":[39],"separation":[40],"between":[41],"logical":[42],"abstractions":[43],"physical":[45],"strategies.":[47],"We":[48],"propose":[49],"Hojabr":[50,61,112,127,156],"as":[51,91,104,109],"unified":[53],"declarative":[54,118,138],"intermediate":[55],"language":[56],"to":[57,122],"address":[58],"this":[59],"problem.":[60],"integrates":[62],"algebra,":[64,66],"constraint-based":[68],"reasoning":[69,159],"higher-order":[73],"algebraic":[74,145],"framework,":[75],"which":[77],"joins,":[78],"aggregations,":[79],"contractions,":[81],"recursive":[83],"computations":[84],"are":[85,102],"expressed":[86],"uniformly.":[87],"Physical":[88],"choices,":[89],"such":[90],"join":[92],"algorithms,":[93],"sparse":[97],"versus":[98],"dense":[99],"representations,":[101],"handled":[103],"constraint-specialization":[105],"decisions":[106],"rather":[107],"than":[108],"separate":[110],"formalisms.":[111],"supports":[113],"bidirectional":[114],"translation":[115],"with":[116],"languages,":[119],"enabling":[120],"programs":[121],"be":[123],"both":[124],"lowered":[125],"into":[126,135],"for":[128],"analysis":[129],"lifted":[133],"back":[134],"their":[136],"original":[137],"form.":[139],"By":[140],"making":[141],"semantic,":[142],"structural,":[143],"properties":[146],"explicit,":[147],"by":[149],"supporting":[150],"extensibility":[151],"the":[153],"compilation":[154],"stack,":[155],"enables":[157],"systematic":[158],"reuse":[161],"of":[162],"techniques":[164],"database":[166],"systems,":[167],"machine":[168],"learning":[169],"frameworks,":[170],"compiler":[172],"infrastructures.":[173]},"counts_by_year":[],"updated_date":"2026-01-02T23:15:32.796280","created_date":"2026-01-02T00:00:00"}