乐胖代购免代理版

{"id":"https://openalex.org/W2123215901","doi":"https://doi.org/10.1017/s0960129500000426","title":"A categorical approach to database semantics","display_name":"A categorical approach to database semantics","publication_year":1994,"publication_date":"1994-06-01","ids":{"openalex":"https://openalex.org/W2123215901","doi":"https://doi.org/10.1017/s0960129500000426","mag":"2123215901"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000426","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088916718","display_name":"Kenneth Bac\u0142awski","orcid":"https://orcid.org/0000-0002-2737-6978"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"funder","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kenneth Baclawski","raw_affiliation_strings":["Northeastern University, College of Computer Science, Boston, Massachusetts 02115"],"affiliations":[{"raw_affiliation_string":"Northeastern University, College of Computer Science, Boston, Massachusetts 02115","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072140970","display_name":"Dan A. Simovici","orcid":null},"institutions":[{"id":"https://openalex.org/I33434090","display_name":"University of Massachusetts Boston","ror":"https://ror.org/04ydmy275","country_code":"US","type":"funder","lineage":["https://openalex.org/I33434090"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Simovici","raw_affiliation_strings":["University of Massachusetts at Boston, Department of Mathematics and Computer Science, Boston, Massachusetts 02125"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts at Boston, Department of Mathematics and Computer Science, Boston, Massachusetts 02125","institution_ids":["https://openalex.org/I33434090"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000892961","display_name":"William White","orcid":"https://orcid.org/0000-0002-5863-3092"},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"William White","raw_affiliation_strings":["Intermetrics, Inc., Cambridge, Massachusetts"],"affiliations":[{"raw_affiliation_string":"Intermetrics, Inc., Cambridge, Massachusetts","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.067,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":26,"citation_normalized_percentile":{"value":0.824187,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"4","issue":"2","first_page":"147","last_page":"183"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9985,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9985,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9942,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9938,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.7470307},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.6154671},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5095454},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.42309904}],"concepts":[{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.7470307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.62774265},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.6154671},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5513199},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.5331373},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5095454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47536367},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.42309904},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.37809128},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28795534},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18059921},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000426","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":9,"referenced_works":["https://openalex.org/W135323631","https://openalex.org/W1505296242","https://openalex.org/W1581128883","https://openalex.org/W2021257181","https://openalex.org/W2120713972","https://openalex.org/W2150690980","https://openalex.org/W2162621793","https://openalex.org/W4285719527","https://openalex.org/W4297810830"],"related_works":["https://openalex.org/W568038298","https://openalex.org/W4388716345","https://openalex.org/W4388322322","https://openalex.org/W4388295672","https://openalex.org/W4388254113","https://openalex.org/W2792259314","https://openalex.org/W2402288139","https://openalex.org/W2119144154","https://openalex.org/W1996984776","https://openalex.org/W1987650006"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,48,133],"formalization":[3],"of":[4,29,110,126,132,142,186],"standard":[5,120,157],"database":[6,32,45,86,121,134,159],"management":[7],"systems":[8],"using":[9,36],"topos":[10,56,98],"theory.":[11],"In":[12],"this":[13],"treatment,":[14],"all":[15],"constructions":[16],"take":[17],"place":[18],"within":[19,62],"an":[20,59,96,104,140,152],"ambient":[21,42,55],"topos,":[22],"which":[23,144,166],"thereby":[24],"serves":[25],"as":[26,93,101],"the":[27,41,54,63,69,72,127,168,177,196],"\u2018universe":[28],"discourse\u2019.":[30],"A":[31,44,108,161],"schema":[33,50,70],"is":[34,83,164],"defined":[35],"objects":[37,94],"and":[38,130,172,180,189,193],"morphisms":[39,102],"in":[40,78,95,103,119,156],"topos.":[43,64],"state":[46,73],"for":[47,176],"given":[49],"involves":[51],"not":[52],"only":[53],"but":[57],"also":[58],"internal":[60,105],"category":[61,80],"This":[65],"approach":[66],"neatly":[67],"separates":[68],"from":[71],"data":[74],"by":[75],"placing":[76],"them":[77],"distinct":[79],"structures.":[81],"It":[82],"shown":[84],"that":[85,114],"states":[87],"can":[88,145,173],"either":[89],"be":[90,146,174],"regarded":[91],"syntactically":[92],"external":[97],"or":[99],"semantically":[100],"slice":[106],"category.":[107],"number":[109],"operations":[111,117,185],"are":[112,191],"introduced":[113,192],"correspond":[115],"to":[116,150,195],"used":[118,175],"systems.":[122,160],"Extraction":[123],"selects":[124],"some":[125],"tables,":[128],"attributes":[129],"domains":[131],"state.":[135],"The":[136],"squeeze":[137],"operation":[138,153,163,171],"performs":[139],"\u2018elimination":[141],"duplicates\u2019,":[143],"combined":[147],"with":[148],"extraction":[149],"obtain":[151],"called":[154],"\u2018projection\u2019":[155],"relational":[158,169],"join":[162,170],"defined,":[165],"generalizes":[167],"cartesian":[178],"product":[179],"selection":[181],"operations.":[182,198],"Finally,":[183],"\u2018boolean\u2019":[184],"intersection,":[187],"union":[188],"difference":[190],"related":[194],"other":[197]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2123215901","counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-05-03T02:28:32.923900","created_date":"2016-06-24"}