{"id":"https://openalex.org/W2076486060","doi":"https://doi.org/10.1137/0212003","title":"Tools for Template Dependencies","display_name":"Tools for Template Dependencies","publication_year":1983,"publication_date":"1983-02-01","ids":{"openalex":"https://openalex.org/W2076486060","doi":"https://doi.org/10.1137/0212003","mag":"2076486060"},"language":"en","primary_location":{"id":"doi:10.1137/0212003","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0212003","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-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/A5027117465","display_name":"Ronald Fagin","orcid":"https://orcid.org/0000-0002-7374-0347"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ronald Fagin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014301644","display_name":"David Maier","orcid":"https://orcid.org/0000-0003-4790-5619"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Maier","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089065417","display_name":"Jeffrey D. Ullman","orcid":"https://orcid.org/0000-0002-1847-3426"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeffrey D. Ullman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043084405","display_name":"Mihalis Yannakakis","orcid":"https://orcid.org/0000-0003-2857-1860"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mihalis Yannakakis","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027117465"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.9295,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.96509119,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":"1","first_page":"36","last_page":"59"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9968000054359436,"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/T11719","display_name":"Data Quality and Management","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.7468462586402893},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.6381436586380005},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6323828101158142},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6129981279373169},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.5810451507568359},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5297912955284119},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.47946393489837646},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4108370542526245},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27066338062286377},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.08981338143348694},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08554136753082275},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08025151491165161}],"concepts":[{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.7468462586402893},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.6381436586380005},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6323828101158142},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6129981279373169},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.5810451507568359},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5297912955284119},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.47946393489837646},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4108370542526245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27066338062286377},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.08981338143348694},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08554136753082275},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08025151491165161},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0212003","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0212003","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W59130053","https://openalex.org/W1569370144","https://openalex.org/W1578147681","https://openalex.org/W1971247055","https://openalex.org/W1971475250","https://openalex.org/W1985581502","https://openalex.org/W1991128042","https://openalex.org/W1992377735","https://openalex.org/W2006772093","https://openalex.org/W2017372888","https://openalex.org/W2028222220","https://openalex.org/W2039610696","https://openalex.org/W2050480346","https://openalex.org/W2059693475","https://openalex.org/W2085536555","https://openalex.org/W2103717773","https://openalex.org/W2105505307","https://openalex.org/W2110810394","https://openalex.org/W2148417962","https://openalex.org/W2162068127","https://openalex.org/W2171094216","https://openalex.org/W2172111502","https://openalex.org/W2232207765","https://openalex.org/W2293278495","https://openalex.org/W4235934183","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2110213158","https://openalex.org/W4226239907","https://openalex.org/W1975349742","https://openalex.org/W2913145454","https://openalex.org/W1982059924","https://openalex.org/W3013412531","https://openalex.org/W2502624504","https://openalex.org/W2074733683","https://openalex.org/W2065461661","https://openalex.org/W2076486060"],"abstract_inverted_index":{"Template":[0],"dependencies":[1,8,14],"(TD\u2019s)":[2],"are":[3,29,77,95],"a":[4,42,120,146,154,167,174,185,191],"class":[5],"of":[6,18,22,45,66,88,112,136,140,153,157,173,177,194,215,221,228,232],"data":[7],"that":[9,123],"include":[10],"multivalued":[11],"and":[12,15,25,69,80,170,209],"join":[13],"embedded":[16],"versions":[17],"these.":[19],"A":[20,207],"collection":[21],"techniques,":[23],"examples":[24],"results":[26,33],"about":[27],"TD\u2019s":[28,58,83,142,161,179,195,222],"presented.":[30],"The":[31,134],"principal":[32],"are:":[34],"1)":[35],"Finite":[36],"implication":[37,51,230],"(implication":[38],"over":[39,59,84,109],"relations":[40,218],"with":[41,196],"finite":[43,121,138,155,175,192,203,216],"number":[44],"tuples)":[46],"is":[47,102,119,143,162,180,190],"distinct":[48,98],"from":[49],"unrestricted":[50],"for":[52,57,212,219],"TD\u2019s.":[53,73,99,233],"2)":[54],"There":[55,101,118,189],"are,":[56],"three":[60,97,113],"or":[61,114],"more":[62,115],"attributes,":[63,93],"infinite":[64,198],"chains":[65],"increasingly":[67,70],"weaker":[68],"stronger":[71],"full":[72,82,131,141,148,178],"3)":[74],"However,":[75,150],"there":[76,94],"weakest":[78,104],"(nontrivial)":[79],"strongest":[81],"any":[85,110],"given":[86],"set":[87,111,139,156,176,193],"attributes.":[89,116],"4)":[90],"Over":[91],"two":[92],"only":[96],"5)":[100],"no":[103,130,202],"(not":[105,158],"necessarily":[106,159,164,182],"full)":[107,160],"TD":[108,128,169],"6)":[117],"relation":[122,200],"obeys":[124],"every":[125],"strictly":[126],"partial":[127],"but":[129,201],"TD.":[132,149,187],"7)":[133],"conjunction":[135,152],"each":[137],"equivalent":[144,165,183],"to":[145,166,184],"single":[147,168,186],"the":[151,171,213,229],"not":[163,181],"disjunction":[172],"8)":[188],"an":[197],"Armstrong":[199,204,217],"relation.":[205],"9)":[206],"necessary":[208],"sufficient":[210],"condition":[211],"existence":[214],"sets":[220],"can":[223],"be":[224],"formulated":[225],"in":[226],"terms":[227],"structure":[231]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}