{"id":"https://openalex.org/W2091843160","doi":"https://doi.org/10.1145/170035.170067","title":"Implementation of the CORAL deductive database system","display_name":"Implementation of the CORAL deductive database system","publication_year":1993,"publication_date":"1993-06-01","ids":{"openalex":"https://openalex.org/W2091843160","doi":"https://doi.org/10.1145/170035.170067","mag":"2091843160"},"language":"en","primary_location":{"id":"doi:10.1145/170035.170067","is_oa":false,"landing_page_url":"https://doi.org/10.1145/170035.170067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1993 ACM SIGMOD international conference on Management of data","raw_type":"proceedings-article"},"type":"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/A5051301731","display_name":"Raghu Ramakrishnan","orcid":"https://orcid.org/0009-0007-5086-7664"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]},{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Raghu Ramakrishnan","raw_affiliation_strings":["Computer Science Department, University of Wisconsin, Madison, WI and AT&T Bell Laboratoriez, 600 Mountain Avenue, Murray Hill, NJ"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Wisconsin, Madison, WI and AT&T Bell Laboratoriez, 600 Mountain Avenue, Murray Hill, NJ","institution_ids":["https://openalex.org/I1283103587","https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088315797","display_name":"Divesh Srivastava","orcid":"https://orcid.org/0000-0002-7609-9217"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Divesh Srivastava","raw_affiliation_strings":["University of Wisconsin, Madison"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081847962","display_name":"S. Sudarshan","orcid":"https://orcid.org/0000-0002-6230-2288"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Sudarshan","raw_affiliation_strings":["University of Wisconsin, Madison"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065128698","display_name":"Praveen Seshadri","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Praveen Seshadri","raw_affiliation_strings":["University of Wisconsin, Madison"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5051301731"],"corresponding_institution_ids":["https://openalex.org/I1283103587","https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":16.3137,"has_fulltext":false,"cited_by_count":68,"citation_normalized_percentile":{"value":0.99339566,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"176"},"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.9987999796867371,"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.9987999796867371,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9954000115394592,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6784785985946655},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.518668532371521},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.5123311281204224},{"id":"https://openalex.org/keywords/coral","display_name":"Coral","score":0.48923754692077637},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.15460556745529175},{"id":"https://openalex.org/keywords/oceanography","display_name":"Oceanography","score":0.10876220464706421}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6784785985946655},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.518668532371521},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.5123311281204224},{"id":"https://openalex.org/C143020374","wikidata":"https://www.wikidata.org/wiki/Q2411228","display_name":"Coral","level":2,"score":0.48923754692077637},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.15460556745529175},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.10876220464706421}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/170035.170067","is_oa":false,"landing_page_url":"https://doi.org/10.1145/170035.170067","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1993 ACM SIGMOD international conference on Management of data","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.134.2745","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.2745","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.iitb.ac.in/~sudarsha/Pubs-dir/coralimpl.sigmod93.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.32.1909","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.1909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.wisc.edu/coral/doc/coral.impl.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.55.3391","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.3391","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.research.att.com/~divesh/papers/rsss93-coralimpl.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Life below water","id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W21703498","https://openalex.org/W140442157","https://openalex.org/W158383006","https://openalex.org/W1496304139","https://openalex.org/W1502898958","https://openalex.org/W1551066637","https://openalex.org/W1555661095","https://openalex.org/W1569301450","https://openalex.org/W1572693407","https://openalex.org/W1586121629","https://openalex.org/W1592688312","https://openalex.org/W1600378632","https://openalex.org/W1602194401","https://openalex.org/W1846087057","https://openalex.org/W1913091358","https://openalex.org/W1969801094","https://openalex.org/W1969966990","https://openalex.org/W2002082975","https://openalex.org/W2032504915","https://openalex.org/W2059558261","https://openalex.org/W2075610180","https://openalex.org/W2105905502","https://openalex.org/W2113809903","https://openalex.org/W2150426212","https://openalex.org/W2157976155","https://openalex.org/W2176873512","https://openalex.org/W2911525489","https://openalex.org/W2913288853","https://openalex.org/W6630243044","https://openalex.org/W6634267781","https://openalex.org/W6639772837"],"related_works":["https://openalex.org/W2374348909","https://openalex.org/W2317981192","https://openalex.org/W2376987262","https://openalex.org/W2149863612","https://openalex.org/W2396419120","https://openalex.org/W83881689","https://openalex.org/W4240375500","https://openalex.org/W1546905530","https://openalex.org/W1524150060","https://openalex.org/W1601612858"],"abstract_inverted_index":{"CORAL":[0,14,71,104,107,174,195,218],"is":[1,15,123,202],"a":[2,8,16,21,26,34,81,114,145,156,162,186],"deductive":[3,17],"database":[4],"system":[5,18],"that":[6,19],"provides":[7,25],"modular,":[9],"declarative":[10,23,37,108,189],"query":[11],"language/programming":[12],"language.":[13],"supports":[20],"rich":[22],"language,":[24],"wide":[27,163],"range":[28,164],"of":[29,36,59,69,102,116,155,165,171,188,200,213],"evaluation":[30,92,140],"methods,":[31],"and":[32,38,57,84,119,181,191],"allows":[33,136],"combination":[35,187],"imperative":[39],"programming.":[40],"The":[41,131],"data":[42],"can":[43,49,110,150,183],"be":[44,111],"persistent":[45],"on":[46],"disk":[47],"or":[48],"reside":[50],"in":[51,66,80,144,185],"main-memory.":[52],"We":[53],"describe":[54],"the":[55,67,70,76,91,99,103,124,153,169,210,217],"architecture":[56],"implementation":[58],"CORAL.":[60],"There":[61],"were":[62],"two":[63],"important":[64],"goals":[65],"design":[68],"architecture:":[72],"(1)":[73],"to":[74,86,89,97,126,142,208,215],"integrate":[75],"different":[77,139],"optimization":[78],"techniques":[79,141],"reasonable":[82],"fashion,":[83],"(2)":[85],"allow":[87],"users":[88,149,182],"influence":[90],"strategies":[93],"used":[94],"so":[95],"as":[96,113],"exploit":[98],"full":[100],"power":[101],"implementation.":[105,219],"A":[106,197],"program":[109,157,184],"organized":[112],"collection":[115],"interacting":[117],"modules":[118,137],"this":[120],"module":[121,134],"structure":[122,212],"key":[125],"satisfying":[127],"both":[128],"these":[129],"goals.":[130],"high":[132,198],"level":[133,170],"interface":[135,178],"with":[138,179,194],"interact":[143],"transparent":[146],"fashion.":[147],"Further,":[148],"optionally":[151],"tailor":[152],"execution":[154],"by":[158,204],"selecting":[159],"from":[160],"among":[161],"control":[166],"choices":[167],"at":[168],"each":[172],"module.":[173],"also":[175],"has":[176],"an":[177],"C++,":[180],"CORAL,":[190],"C++":[192,206,214],"extended":[193],"primitives.":[196],"degree":[199],"extensibility":[201],"provided":[203],"allowing":[205],"programmers":[207],"use":[209],"class":[211],"enhance":[216]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}