{"id":"https://openalex.org/W2002114195","doi":"https://doi.org/10.1002/scj.4690170709","title":"Complexity to determine containment among inequality tableau queries","display_name":"Complexity to determine containment among inequality tableau queries","publication_year":1986,"publication_date":"1986-01-01","ids":{"openalex":"https://openalex.org/W2002114195","doi":"https://doi.org/10.1002/scj.4690170709","mag":"2002114195"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690170709","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690170709","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5078962603","display_name":"Tomoyuki Terada","orcid":null},"institutions":[{"id":"https://openalex.org/I164160370","display_name":"Fanuc (Japan)","ror":"https://ror.org/02twwap54","country_code":"JP","type":"company","lineage":["https://openalex.org/I164160370"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tomoyuki Terada","raw_affiliation_strings":["FANUC LTD., Yamanashi, Japan 501\u201305","Tomoyuki Terada: Graduated from Dept. of Information and Computer Sciences, School of Engineering Science, Osaka University, in 1983. Completed the master's program at Osaka University in 1985, whereupon he joined FANUC LTD. At Osaka University, engaged in research on the relational databases theory, etc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FANUC LTD., Yamanashi, Japan 501\u201305","institution_ids":["https://openalex.org/I164160370"]},{"raw_affiliation_string":"Tomoyuki Terada: Graduated from Dept. of Information and Computer Sciences, School of Engineering Science, Osaka University, in 1983. Completed the master's program at Osaka University in 1985, whereupon he joined FANUC LTD. At Osaka University, engaged in research on the relational databases theory, etc","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111729293","display_name":"Kenichi Hagihara","orcid":null},"institutions":[{"id":"https://openalex.org/I14314212","display_name":"Osaka University of Economics","ror":"https://ror.org/04g11bp59","country_code":"JP","type":"education","lineage":["https://openalex.org/I14314212"]},{"id":"https://openalex.org/I2800804717","display_name":"Institution of Civil Engineers","ror":"https://ror.org/0402pb169","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I2800804717"]},{"id":"https://openalex.org/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["AT","GB","JP"],"is_corresponding":false,"raw_author_name":"Ken'Ichi Hagihara","raw_affiliation_strings":["Dr. Hagihara is a member of the Institute of Electrical Communication Engineers of Japan, the Information Processing Society of Japan, and the Institute of Electrical and Electronics Engineers","Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","He joined the Faculty of Engineering Science of Osaka University as 3 Research Assistant in 1979. Since 1986 he has been a full-time lecturer in the Department of Information and Computer Sciences at Osaka University. Since 1982 he has been also a member of working group of ICOT (Institute for New Generation Computer Technology). His research interests include programming technology, relational database theory, graph theory, parallel algorithm, and distributed algorithm","Kenichi Hagihara was born in Osaka, Japan, on January 20, 1952. He received the BE, ME, and Ph.D. degrees in information and computer engineering from Osaka University, Toyonaka, Osaka, Japan in 1974, 1976, and 1979, respectively"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dr. Hagihara is a member of the Institute of Electrical Communication Engineers of Japan, the Information Processing Society of Japan, and the Institute of Electrical and Electronics Engineers","institution_ids":["https://openalex.org/I2800804717"]},{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"He joined the Faculty of Engineering Science of Osaka University as 3 Research Assistant in 1979. Since 1986 he has been a full-time lecturer in the Department of Information and Computer Sciences at Osaka University. Since 1982 he has been also a member of working group of ICOT (Institute for New Generation Computer Technology). His research interests include programming technology, relational database theory, graph theory, parallel algorithm, and distributed algorithm","institution_ids":["https://openalex.org/I4210099593"]},{"raw_affiliation_string":"Kenichi Hagihara was born in Osaka, Japan, on January 20, 1952. He received the BE, ME, and Ph.D. degrees in information and computer engineering from Osaka University, Toyonaka, Osaka, Japan in 1974, 1976, and 1979, respectively","institution_ids":["https://openalex.org/I14314212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112263709","display_name":"Nobuki Tokura","orcid":null},"institutions":[{"id":"https://openalex.org/I1321014770","display_name":"Association for Computing Machinery","ror":"https://ror.org/03wsadn68","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1321014770"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Nobuki Tokura","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","He is a member of the Institute of Electrical Communication Engineers of Japan, the information Processing Society of Japan and the Association for Computing Machinery","Nobuki Tokura received the B.E., M.E. and Ph.D. degrees in electronics engineering from Osaka University, Osaka, Japan in 1963, 1965, and 1968, respectively. He joined the faculty of Osaka University in 1968. He was a visiting Researcher at the University of Hawaii and Stanford University from Nov. 1974 to April 1975 and April 1975 to Sept. 1975, respectively. Since 1977 he has been a Professor in the Department of Information and Computer Sciences at Osaka University, Toyonaka, Osaka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"He is a member of the Institute of Electrical Communication Engineers of Japan, the information Processing Society of Japan and the Association for Computing Machinery","institution_ids":["https://openalex.org/I1321014770"]},{"raw_affiliation_string":"Nobuki Tokura received the B.E., M.E. and Ph.D. degrees in electronics engineering from Osaka University, Osaka, Japan in 1963, 1965, and 1968, respectively. He joined the faculty of Osaka University in 1968. He was a visiting Researcher at the University of Hawaii and Stanford University from Nov. 1974 to April 1975 and April 1975 to Sept. 1975, respectively. Since 1977 he has been a Professor in the Department of Information and Computer Sciences at Osaka University, Toyonaka, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12244898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"7","first_page":"73","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9994000196456909,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/joins","display_name":"Joins","score":0.8401550054550171},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.6816313862800598},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5708196759223938},{"id":"https://openalex.org/keywords/decision-problem","display_name":"Decision problem","score":0.5158804655075073},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5152481198310852},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.5022029876708984},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49603328108787537},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4897182285785675},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4785393178462982},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.47503095865249634},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4594894051551819},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.4374554753303528},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4301833510398865},{"id":"https://openalex.org/keywords/inequality","display_name":"Inequality","score":0.4290562570095062},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.21473902463912964},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18363049626350403},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11324635148048401},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06739062070846558}],"concepts":[{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.8401550054550171},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.6816313862800598},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5708196759223938},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.5158804655075073},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5152481198310852},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.5022029876708984},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49603328108787537},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4897182285785675},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4785393178462982},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.47503095865249634},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4594894051551819},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.4374554753303528},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4301833510398865},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.4290562570095062},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.21473902463912964},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18363049626350403},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11324635148048401},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06739062070846558},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690170709","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690170709","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W180578187","https://openalex.org/W1967992696","https://openalex.org/W1975714036"],"related_works":["https://openalex.org/W1866166441","https://openalex.org/W1552362068","https://openalex.org/W2149149441","https://openalex.org/W4243306847","https://openalex.org/W1506025608","https://openalex.org/W2093882190","https://openalex.org/W79051208","https://openalex.org/W4297453533","https://openalex.org/W1525937901","https://openalex.org/W3173375004"],"abstract_inverted_index":{"Abstract":[0],"Tableau":[1],"queries":[2,9,16,31,55,112,170,176],"are":[3,17,86,114,135,144,164,171,178,196],"known":[4],"as":[5,117],"abstract":[6],"models":[7],"of":[8,21,26,28,35,42,50,95],"for":[10,175],"relational":[11,71],"databases.":[12],"When":[13],"two":[14,128],"tableau":[15,30,51,54,111,169],"given,":[18],"the":[19,24,29,36,47,70,82,110,123,160,168,192],"problem":[20],"determining":[22],"whether":[23,131],"result":[25],"one":[27],"always":[32],"contains":[33],"that":[34,81,90,140,185],"other":[37],"(containment":[38],"decision":[39,84,162,194],"problem),":[40],"is":[41,183,190],"fundamental":[43],"importance":[44],"in":[45,69,101,152],"obtaining":[46],"optimization":[48],"procedure":[49],"queries.":[52],"The":[53],"defined":[56],"by":[57,67,125,130],"Aho":[58,76],"et":[59,77],"al.":[60,78],"can":[61,98,149],"express":[62,122],"joins,":[63],"projections":[64],"and":[65,89],"selections":[66,124,143],"equalities":[68],"algebra.":[72],"Under":[73],"this":[74,106],"definition,":[75],"have":[79],"shown":[80,184],"containment":[83,161,193],"problems":[85,96,147,163,195],"generally":[87],"NP\u2010complete":[88,165],"there":[91],"exist":[92],"a":[93,102,153],"class":[94],"which":[97,113,148,177],"be":[99,119,150],"decided":[100],"polynomial":[103,154],"time.":[104],"In":[105],"paper,":[107],"we":[108],"classify":[109],"obtained":[115],"so":[116],"to":[118,121,146],"able":[120],"inequalities":[126],"into":[127],"groups":[129],"or":[132],"not":[133,179],"they":[134],"totally":[136,172,180],"ordered.":[137,173],"We":[138],"show":[139],"if":[141,187],"inequality":[142,157],"added":[145],"solved":[151],"time":[155],"without":[156],"selection,":[158],"then":[159],"even":[166,186],"though":[167],"Also,":[174],"ordered,":[181],"it":[182],"stronger":[188],"restriction":[189],"added,":[191],"co\u2010NP\u2010complete.":[197]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}